The bear chases the cow. The bear is big. The bear is blue. The bear likes the tiger. The bear visits the cow. The cow chases the bear. The cow is big. The cow likes the bear. The cow visits the bear. The tiger chases the bear. The tiger is blue. The tiger is kind. The tiger likes the bear. The tiger visits the bear. The tiger visits the cow. If someone is big and they like the tiger then they like the cow. If someone chases the tiger then the tiger likes the bear. If someone visits the cow then they are blue. If someone is young and they chase the tiger then they are blue. If someone visits the bear and the bear likes the cow then they are big. If someone is kind then they like the tiger. If someone is young then they are big. If someone visits the bear and the bear is cold then the bear is young.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone is big and they like the tiger then they like the cow.
((("someone" "is" "big" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "likes" "cow" "+"))
If someone chases the tiger then the tiger likes the bear.
((("someone" "chases" "tiger" "+")) -> ("tiger" "likes" "bear" "+"))
If someone visits the cow then they are blue.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and they chase the tiger then they are blue.
((("someone" "is" "young" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "is" "blue" "+"))
If someone visits the bear and the bear likes the cow then they are big.
((("someone" "visits" "bear" "+") ("bear" "likes" "cow" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they like the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone visits the bear and the bear is cold then the bear is young.
((("someone" "visits" "bear" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "young" "+"))
The bear is big.
True
1
proof
[(triple2)]
("bear" "is" "big" "+")
triple2
The cow does not chase the bear.
False
1
inv-proof
[(triple6)]
("cow" "chases" "bear" "-")
triple6
The tiger likes the tiger.
True
2
proof
[(((triple12) -> rule6))]
("tiger" "likes" "tiger" "+")
((triple12) -> (rule6 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The bear does not like the cow.
False
3
inv-proof
[(((triple2 triple4) -> rule1))]
("bear" "likes" "cow" "-")
((triple2 triple4) -> (rule1 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The tiger is big.
True
5
proof
[(((triple14 ((triple2 triple4) -> rule1)) -> rule5))]
("tiger" "is" "big" "+")
((triple14 ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The tiger is not big.
False
5
inv-proof
[(((triple14 ((triple2 triple4) -> rule1)) -> rule5))]
("tiger" "is" "big" "-")
((triple14 ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The tiger likes the cow.
True
8
proof
[(((((triple14 ((triple2 triple4) -> rule1)) -> rule5) ((triple12) -> rule6)) -> rule1))]
("tiger" "likes" "cow" "+")
((((triple14 ((triple2 triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The tiger does not like the cow.
False
8
inv-proof
[(((((triple14 ((triple2 triple4) -> rule1)) -> rule5) ((triple12) -> rule6)) -> rule1))]
("tiger" "likes" "cow" "-")
((((triple14 ((triple2 triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The cow does not like the cow.
Unknown
inv-rconc
[@2: The cow likes the cow.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("cow" "likes" "cow" "-")
The cow likes the tiger.
Unknown
rconc
[@1: The cow likes the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "likes" "tiger" "+")
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "young" "-")
The cow is blue.
Unknown
rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "blue" "+")
The cow does not visit the tiger.
Unknown
inv-random
[@0: The cow visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "tiger" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The bear visits the tiger.
Unknown
random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "+")
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3 OR ((triple5) -> rule3))] The bear likes the tiger.[(triple4)] The bear visits the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow is big.[(triple7 OR ((triple9 ((triple2 triple4) -> rule1)) -> rule5))] The cow likes the bear.[(triple8)] The cow visits the bear.[(triple9)] The tiger chases the bear.[(triple10)] The tiger is blue.[(triple11 OR ((triple15) -> rule3))] The tiger is kind.[(triple12)] The tiger likes the bear.[(triple13)] The tiger visits the bear.[(triple14)] The tiger visits the cow.[(triple15)] @1: The bear likes the cow.[(((triple2 triple4) -> rule1))] The tiger likes the tiger.[(((triple12) -> rule6))] @2: The tiger is big.[(((triple14 ((triple2 triple4) -> rule1)) -> rule5))] @3: The tiger likes the cow.[(((((triple14 ((triple2 triple4) -> rule1)) -> rule5) ((triple12) -> rule6)) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
((triple5) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
((triple9 ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The cow likes the bear.
("cow" "likes" "bear" "+")
triple8
The cow visits the bear.
("cow" "visits" "bear" "+")
triple9
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
((triple15) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15
The bear likes the cow.
("bear" "likes" "cow" "+")
((triple2 triple4) -> (rule1 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple12) -> (rule6 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple14 ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The tiger likes the cow.
("tiger" "likes" "cow" "+")
((((triple14 ((triple2 triple4) -> (rule1 % int4))) -> (rule5 % int3)) ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4