The cow chases the rabbit. The cow is big. The cow is kind. The cow is nice. The cow is young. The cow sees the rabbit. The cow visits the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit sees the cow. The rabbit visits the cow. Kind people are blue. If someone visits the cow then the cow sees the rabbit. If someone is blue then they visit the cow.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
Kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone visits the cow then the cow sees the rabbit.
((("someone" "visits" "cow" "+")) -> ("cow" "sees" "rabbit" "+"))
If someone is blue then they visit the cow.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "cow" "+"))
The rabbit sees the cow.
True
1
proof
[(triple14)]
("rabbit" "sees" "cow" "+")
triple14
The rabbit does not see the cow.
False
1
inv-proof
[(triple14)]
("rabbit" "sees" "cow" "-")
triple14
The cow is blue.
True
2
proof
[(((triple3) -> rule1))]
("cow" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "is" "blue" "-")
((triple3) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
True
3
proof
[(((((triple3) -> rule1)) -> rule3))]
("cow" "visits" "cow" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow does not visit the cow.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule3))]
("cow" "visits" "cow" "-")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is young.[(triple5)] The cow sees the rabbit.[(triple6 OR ((triple15) -> rule2) OR ((((triple10) -> rule3)) -> rule2) OR ((((((triple11) -> rule1)) -> rule3)) -> rule2) OR ((((((triple3) -> rule1)) -> rule3)) -> rule2))] The cow visits the rabbit.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit is big.[(triple9)] The rabbit is blue.[(triple10 OR ((triple11) -> rule1))] The rabbit is kind.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is young.[(triple13)] The rabbit sees the cow.[(triple14)] The rabbit visits the cow.[(triple15 OR ((triple10) -> rule3) OR ((((triple11) -> rule1)) -> rule3))] @1: The cow is blue.[(((triple3) -> rule1))] @2: The cow visits the cow.[(((((triple3) -> rule1)) -> rule3))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple6
((triple15) -> (rule2 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
((((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
((triple11) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
((triple10) -> (rule3 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2