The cow eats the rabbit. The cow is not blue. The cow is not kind. The cow is not nice. The cow is rough. The cow needs the rabbit. The cow sees the rabbit. The rabbit eats the cow. The rabbit is blue. The rabbit is not kind. The rabbit is nice. The rabbit is rough. The rabbit is young. The rabbit needs the cow. The rabbit sees the cow. If something is rough and not kind then it is young.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not blue.
("cow" "is" "blue" "-")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If something is rough and not kind then it is young.
((("something" "is" "rough" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "+"))
The rabbit is rough.
True
1
proof
[(triple12)]
("rabbit" "is" "rough" "+")
triple12
The cow does not see the rabbit.
False
1
inv-proof
[(triple7)]
("cow" "sees" "rabbit" "-")
triple7
The cow is young.
True
3
proof
[(((triple5 triple3) -> rule1))]
("cow" "is" "young" "+")
((triple5 triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("cow" "is" "young" "-")
((triple5 triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "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 does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is not blue.[(triple2)] The cow is not kind.[(triple3)] The cow is not nice.[(triple4)] The cow is rough.[(triple5)] The cow needs the rabbit.[(triple6)] The cow sees the rabbit.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is nice.[(triple11)] The rabbit is not kind.[(triple10)] The rabbit is rough.[(triple12)] The rabbit is young.[(triple13 OR ((triple12 triple10) -> rule1))] The rabbit needs the cow.[(triple14)] The rabbit sees the cow.[(triple15)] @1: The cow is young.[(((triple5 triple3) -> rule1))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is not blue.
("cow" "is" "blue" "-")
triple2
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The cow is not nice.
("cow" "is" "nice" "-")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple6
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
((triple12 triple10) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple14
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple15
The cow is young.
("cow" "is" "young" "+")
((triple5 triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1