The cow is blue. The cow is nice. The cow is rough. The cow is round. The cow is young. Blue, rough things are round. All blue, round things are rough.
The cow is blue.
("cow" "is" "blue" "+")
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" "+")
Blue, rough things are round.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
All blue, round things are rough.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
The cow is round.
True
1
proof
[(triple4 OR ((triple1 triple3) -> rule1))]
("cow" "is" "round" "+")
triple4
((triple1 triple3) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is not round.
False
1
inv-proof
[(triple4 OR ((triple1 triple3) -> rule1))]
("cow" "is" "round" "-")
triple4
((triple1 triple3) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
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 cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3 OR ((triple1 triple4) -> rule2))] The cow is round.[(triple4 OR ((triple1 triple3) -> rule1))] The cow is young.[(triple5)]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
((triple1 triple4) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple4
((triple1 triple3) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is young.
("cow" "is" "young" "+")
triple5