The cow is green. Blue, red people are round. Rough, round people are red. All green people are round. If someone is round and green then they are rough. If someone is rough and red then they are round. If someone is green then they are red.
The cow is green.
("cow" "is" "green" "+")
Blue, red people are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Rough, round people are red.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and green then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
The cow is green.
True
1
proof
[(triple1)]
("cow" "is" "green" "+")
triple1
The cow is not green.
False
1
inv-proof
[(triple1)]
("cow" "is" "green" "-")
triple1
The cow is red.
True
2
proof
[(((triple1) -> rule6) OR ((((((triple1) -> rule3) triple1) -> rule4) ((triple1) -> rule3)) -> rule2))]
("cow" "is" "red" "+")
((triple1) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((((triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is not round.
False
2
inv-proof
[(((triple1) -> rule3))]
("cow" "is" "round" "-")
((triple1) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
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 is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
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)] @1: The cow is red.[(((triple1) -> rule6) OR ((((((triple1) -> rule3) triple1) -> rule4) ((triple1) -> rule3)) -> rule2))] The cow is round.[(((triple1) -> rule3))] @2: The cow is rough.[(((((triple1) -> rule3) triple1) -> rule4))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
((triple1) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((((triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is round.
("cow" "is" "round" "+")
((triple1) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2