The bear is big. The bear is blue. The bear is cold. The bear is nice. The bear needs the cat. The bear sees the cat. The bear sees the tiger. The cat is rough. The cat needs the bear. The cat needs the tiger. The cat sees the bear. The tiger is big. The tiger is nice. The tiger needs the bear. The tiger needs the cat. The tiger sees the cat. If someone visits the cat and they need the cat then the cat is nice. If someone sees the cat and they need the cat then they visit the cat.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If someone visits the cat and they need the cat then the cat is nice.
((("someone" "visits" "cat" "+") ("someone" "needs" "cat" "+")) -> ("cat" "is" "nice" "+"))
If someone sees the cat and they need the cat then they visit the cat.
((("someone" "sees" "cat" "+") ("someone" "needs" "cat" "+")) -> ("someone" "visits" "cat" "+"))
The cat sees the bear.
True
1
proof
[(triple11)]
("cat" "sees" "bear" "+")
triple11
The tiger does not see the cat.
False
1
inv-proof
[(triple16)]
("tiger" "sees" "cat" "-")
triple16
The tiger visits the cat.
True
3
proof
[(((triple16 triple15) -> rule2))]
("tiger" "visits" "cat" "+")
((triple16 triple15) -> (rule2 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The bear does not visit the cat.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("bear" "visits" "cat" "-")
((triple6 triple5) -> (rule2 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The cat is nice.
True
5
proof
[(((((triple16 triple15) -> rule2) triple15) -> rule1) OR ((((triple6 triple5) -> rule2) triple5) -> rule1))]
("cat" "is" "nice" "+")
((((triple16 triple15) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
((((triple6 triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The cat is not nice.
False
5
inv-proof
[(((((triple16 triple15) -> rule2) triple15) -> rule1) OR ((((triple6 triple5) -> rule2) triple5) -> rule1))]
("cat" "is" "nice" "-")
((((triple16 triple15) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
((((triple6 triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The tiger does not see the bear.
Unknown
inv-random
[@0: The tiger sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bear" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear needs the cat.[(triple5)] The bear sees the cat.[(triple6)] The bear sees the tiger.[(triple7)] The cat is rough.[(triple8)] The cat needs the bear.[(triple9)] The cat needs the tiger.[(triple10)] The cat sees the bear.[(triple11)] The tiger is big.[(triple12)] The tiger is nice.[(triple13)] The tiger needs the bear.[(triple14)] The tiger needs the cat.[(triple15)] The tiger sees the cat.[(triple16)] @1: The bear visits the cat.[(((triple6 triple5) -> rule2))] The tiger visits the cat.[(((triple16 triple15) -> rule2))] @2: The cat is nice.[(((((triple16 triple15) -> rule2) triple15) -> rule1) OR ((((triple6 triple5) -> rule2) triple5) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear needs the cat.
("bear" "needs" "cat" "+")
triple5
The bear sees the cat.
("bear" "sees" "cat" "+")
triple6
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple10
The cat sees the bear.
("cat" "sees" "bear" "+")
triple11
The tiger is big.
("tiger" "is" "big" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple16
The bear visits the cat.
("bear" "visits" "cat" "+")
((triple6 triple5) -> (rule2 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
((triple16 triple15) -> (rule2 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
((((triple16 triple15) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
((((triple6 triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2