The bear chases the cow. The bear eats the rabbit. The bear is big. The cow eats the bear. The cow eats the lion. The cow does not eat the rabbit. The cow is big. The cow is blue. The cow is cold. The cow does not see the bear. The cow sees the rabbit. The lion is not blue. The lion is cold. The rabbit chases the bear. The rabbit eats the cow. The rabbit is not blue. If something is cold then it chases the cow. Big things are rough. If something eats the lion and the lion sees the rabbit then the rabbit sees the cow. If something chases the lion then it eats the rabbit. If something eats the lion and it eats the bear then the bear is not blue. If something sees the bear and the bear does not chase the cow then it sees the cow.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow does not see the bear.
("cow" "sees" "bear" "-")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The lion is cold.
("lion" "is" "cold" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
If something is cold then it chases the cow.
((("something" "is" "cold" "+")) -> ("something" "chases" "cow" "+"))
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something eats the lion and the lion sees the rabbit then the rabbit sees the cow.
((("something" "eats" "lion" "+") ("lion" "sees" "rabbit" "+")) -> ("rabbit" "sees" "cow" "+"))
If something chases the lion then it eats the rabbit.
((("something" "chases" "lion" "+")) -> ("something" "eats" "rabbit" "+"))
If something eats the lion and it eats the bear then the bear is not blue.
((("something" "eats" "lion" "+") ("something" "eats" "bear" "+")) -> ("bear" "is" "blue" "-"))
If something sees the bear and the bear does not chase the cow then it sees the cow.
((("something" "sees" "bear" "+") ("bear" "chases" "cow" "~")) -> ("something" "sees" "cow" "+"))
The cow is cold.
True
1
proof
[(triple9)]
("cow" "is" "cold" "+")
triple9
The rabbit is blue.
False
1
inv-proof
[(triple16)]
("rabbit" "is" "blue" "+")
triple16
The lion chases the cow.
True
2
proof
[(((triple13) -> rule1))]
("lion" "chases" "cow" "+")
((triple13) -> (rule1 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple9) -> rule1))]
("cow" "chases" "cow" "-")
((triple9) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit sees the cow.
Unknown
rconc
[@1: The rabbit sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "cow" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear sees the rabbit.
Unknown
random
[@0: The bear sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "rabbit" "+")
@0: The bear chases the cow.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is big.[(triple3)] The cow does not eat the rabbit.[(triple6)] The cow does not see the bear.[(triple10)] The cow eats the bear.[(triple4)] The cow eats the lion.[(triple5)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow is cold.[(triple9)] The cow sees the rabbit.[(triple11)] The lion is cold.[(triple13)] The lion is not blue.[(triple12)] The rabbit chases the bear.[(triple14)] The rabbit eats the cow.[(triple15)] The rabbit is not blue.[(triple16)] @1: The bear is not blue.[(((triple5 triple4) -> rule5))] The bear is rough.[(((triple3) -> rule2))] The cow chases the cow.[(((triple9) -> rule1))] The cow is rough.[(((triple7) -> rule2))] The lion chases the cow.[(((triple13) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
triple6
The cow does not see the bear.
("cow" "sees" "bear" "-")
triple10
The cow eats the bear.
("cow" "eats" "bear" "+")
triple4
The cow eats the lion.
("cow" "eats" "lion" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple11
The lion is cold.
("lion" "is" "cold" "+")
triple13
The lion is not blue.
("lion" "is" "blue" "-")
triple12
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple14
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple15
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple16
The bear is not blue.
("bear" "is" "blue" "-")
((triple5 triple4) -> (rule5 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
The bear is rough.
("bear" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple9) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple7) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
((triple13) -> (rule1 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1