The cow chases the rabbit. The cow is big. The cow is cold. The cow is green. The cow is red. The cow sees the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is red. The rabbit sees the cow. Cold things are big. If something sees the rabbit and it is red then the rabbit is cold.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
Cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something sees the rabbit and it is red then the rabbit is cold.
((("something" "sees" "rabbit" "+") ("something" "is" "red" "+")) -> ("rabbit" "is" "cold" "+"))
The cow sees the rabbit.
True
1
proof
[(triple6)]
("cow" "sees" "rabbit" "+")
triple6
The cow is not big.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule1))]
("cow" "is" "big" "-")
triple2
((triple3) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The rabbit is cold.
True
3
proof
[(((triple6 triple5) -> rule2))]
("rabbit" "is" "cold" "+")
((triple6 triple5) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("rabbit" "is" "cold" "-")
((triple6 triple5) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
True
4
proof
[(((((triple6 triple5) -> rule2)) -> rule1))]
("rabbit" "is" "big" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is not big.
False
4
inv-proof
[(((((triple6 triple5) -> rule2)) -> rule1))]
("rabbit" "is" "big" "-")
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2 OR ((triple3) -> rule1))] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is red.[(triple5)] The cow sees the rabbit.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit is red.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The rabbit is cold.[(((triple6 triple5) -> rule2))] @2: The rabbit is big.[(((((triple6 triple5) -> rule2)) -> rule1))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
((triple3) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple6
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple6 triple5) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2