The cow is green. The cow is kind. The cow is red. The cow is rough. The cow is round. If something is rough then it is green. Round, rough things are red. All round, green things are red.
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
If something is rough then it is green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Round, rough things are red.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All round, green things are red.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
The cow is red.
True
1
proof
[(triple3 OR ((triple5 triple1) -> rule3) OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple4) -> rule1)) -> rule3))]
("cow" "is" "red" "+")
triple3
((triple5 triple1) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5 triple4) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is not round.
False
1
inv-proof
[(triple5)]
("cow" "is" "round" "-")
triple5
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 cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow is green.[(triple1 OR ((triple4) -> rule1))] The cow is kind.[(triple2)] The cow is red.[(triple3 OR ((triple5 triple1) -> rule3) OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple4) -> rule1)) -> rule3))] The cow is rough.[(triple4)] The cow is round.[(triple5)]
The cow is green.
("cow" "is" "green" "+")
triple1
((triple4) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
((triple5 triple1) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5 triple4) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5