The bear does not chase the dog. The bear chases the tiger. The bear is big. The bear sees the dog. The bear sees the tiger. The dog chases the tiger. The dog needs the bear. The tiger does not chase the bear. The tiger is cold. The tiger does not need the bear. If someone chases the tiger and they need the bear then they are cold. If someone is cold then they need the tiger. If someone is big and they do not see the dog then the dog sees the tiger.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
If someone chases the tiger and they need the bear then they are cold.
((("someone" "chases" "tiger" "+") ("someone" "needs" "bear" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they need the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "tiger" "+"))
If someone is big and they do not see the dog then the dog sees the tiger.
((("someone" "is" "big" "+") ("someone" "sees" "dog" "~")) -> ("dog" "sees" "tiger" "+"))
The tiger does not chase the bear.
True
1
proof
[(triple8)]
("tiger" "chases" "bear" "-")
triple8
The bear does not see the dog.
False
1
inv-proof
[(triple4)]
("bear" "sees" "dog" "-")
triple4
The dog is cold.
True
3
proof
[(((triple6 triple7) -> rule1))]
("dog" "is" "cold" "+")
((triple6 triple7) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The tiger does not need the tiger.
False
2
inv-proof
[(((triple9) -> rule2))]
("tiger" "needs" "tiger" "-")
((triple9) -> (rule2 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The dog needs the tiger.
True
4
proof
[(((((triple6 triple7) -> rule1)) -> rule2))]
("dog" "needs" "tiger" "+")
((((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog does not need the tiger.
False
4
inv-proof
[(((((triple6 triple7) -> rule1)) -> rule2))]
("dog" "needs" "tiger" "-")
((((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The bear does not need the tiger.
Unknown
inv-rconc
[@2: The bear needs the tiger.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bear" "needs" "tiger" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "+")
The dog does not see the tiger.
Unknown
inv-rconc
[@1: The dog sees the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "sees" "tiger" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bear chases the tiger.[(triple2)] The bear does not chase the dog.[(triple1)] The bear is big.[(triple3)] The bear sees the dog.[(triple4)] The bear sees the tiger.[(triple5)] The dog chases the tiger.[(triple6)] The dog needs the bear.[(triple7)] The tiger does not chase the bear.[(triple8)] The tiger does not need the bear.[(triple10)] The tiger is cold.[(triple9)] @1: The dog is cold.[(((triple6 triple7) -> rule1))] The tiger needs the tiger.[(((triple9) -> rule2))] @2: The dog needs the tiger.[(((((triple6 triple7) -> rule1)) -> rule2))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The bear is big.
("bear" "is" "big" "+")
triple3
The bear sees the dog.
("bear" "sees" "dog" "+")
triple4
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple5
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple6
The dog needs the bear.
("dog" "needs" "bear" "+")
triple7
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
triple8
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
((triple6 triple7) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple9) -> (rule2 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
((((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2