The cow is green. The cow is nice. The cow is rough. The cow is round. The cow is young. The cow likes the rabbit. The cow sees the rabbit. The cow visits the rabbit. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit likes the cow. The rabbit sees the cow. The rabbit visits the cow. If something visits the cow and the cow visits the rabbit then the cow is nice. If the cow visits the rabbit then the rabbit is green. If something is round and it sees the rabbit then it likes the rabbit. If something sees the cow then it sees the rabbit. If something visits the cow then it is nice. If something visits the cow then it is nice.
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something visits the cow and the cow visits the rabbit then the cow is nice.
((("something" "visits" "cow" "+") ("cow" "visits" "rabbit" "+")) -> ("cow" "is" "nice" "+"))
If the cow visits the rabbit then the rabbit is green.
((("cow" "visits" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If something is round and it sees the rabbit then it likes the rabbit.
((("something" "is" "round" "+") ("something" "sees" "rabbit" "+")) -> ("something" "likes" "rabbit" "+"))
If something sees the cow then it sees the rabbit.
((("something" "sees" "cow" "+")) -> ("something" "sees" "rabbit" "+"))
If something visits the cow then it is nice.
((("something" "visits" "cow" "+")) -> ("something" "is" "nice" "+"))
If something visits the cow then it is nice.
((("something" "visits" "cow" "+")) -> ("something" "is" "nice" "+"))
The rabbit is rough.
True
1
proof
[(triple11)]
("rabbit" "is" "rough" "+")
triple11
The rabbit does not visit the cow.
False
1
inv-proof
[(triple16)]
("rabbit" "visits" "cow" "-")
triple16
The rabbit sees the rabbit.
True
2
proof
[(((triple15) -> rule4))]
("rabbit" "sees" "rabbit" "+")
((triple15) -> (rule4 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit does not see the rabbit.
False
2
inv-proof
[(((triple15) -> rule4))]
("rabbit" "sees" "rabbit" "-")
((triple15) -> (rule4 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the rabbit.
True
4
proof
[(((triple12 ((triple15) -> rule4)) -> rule3))]
("rabbit" "likes" "rabbit" "+")
((triple12 ((triple15) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit does not like the rabbit.
False
4
inv-proof
[(((triple12 ((triple15) -> rule4)) -> rule3))]
("rabbit" "likes" "rabbit" "-")
((triple12 ((triple15) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow is green.[(triple1)] The cow is nice.[(triple2 OR ((triple16 triple8) -> rule1))] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the rabbit.[(triple6 OR ((triple4 triple7) -> rule3))] The cow sees the rabbit.[(triple7)] The cow visits the rabbit.[(triple8)] The rabbit is green.[(triple9 OR ((triple8) -> rule2))] The rabbit is nice.[(triple10 OR ((triple16) -> rule5) OR ((triple16) -> rule6))] The rabbit is rough.[(triple11)] The rabbit is round.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the cow.[(triple14)] The rabbit sees the cow.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The rabbit sees the rabbit.[(((triple15) -> rule4))] @2: The rabbit likes the rabbit.[(((triple12 ((triple15) -> rule4)) -> rule3))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
((triple16 triple8) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple6
((triple4 triple7) -> (rule3 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
((triple8) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
((triple16) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((triple16) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple14
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple15
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple16
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple15) -> (rule4 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple12 ((triple15) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2