The cow is big. The cow is green. The cow is rough. All round people are big. All round people are big. Round people are not big. All round people are young. If someone is green then they are young. If someone is round then they are young. Green people are rough. If someone is big and not round then they are rough.
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Round people are not big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "-"))
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and not round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
The cow is rough.
True
1
proof
[(triple3 OR ((triple2) -> rule7))]
("cow" "is" "rough" "+")
triple3
((triple2) -> (rule7 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule7))]
("cow" "is" "rough" "-")
triple3
((triple2) -> (rule7 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
True
2
proof
[(((triple2) -> rule5))]
("cow" "is" "young" "+")
((triple2) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple2) -> rule5))]
("cow" "is" "young" "-")
((triple2) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
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 big.[(triple1)] The cow is green.[(triple2)] The cow is rough.[(triple3 OR ((triple2) -> rule7))] @1: The cow is young.[(((triple2) -> rule5))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
((triple2) -> (rule7 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple2) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1