The cow is big. If someone is young and round then they are blue. If the cow is blue then the cow is big. If someone is rough then they are young. All big, rough people are blue. Big people are young. All rough people are big. Young people are rough. If someone is round then they are young.
The cow is big.
("cow" "is" "big" "+")
If someone is young and round then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If the cow is blue then the cow is big.
((("cow" "is" "blue" "+")) -> ("cow" "is" "big" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All big, rough people are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
The cow is big.
True
1
proof
[(triple1)]
("cow" "is" "big" "+")
triple1
The cow is not big.
False
1
inv-proof
[(triple1)]
("cow" "is" "big" "-")
triple1
The cow is young.
True
2
proof
[(((triple1) -> rule5))]
("cow" "is" "young" "+")
((triple1) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple1) -> rule5))]
("cow" "is" "young" "-")
((triple1) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
True
3
proof
[(((((triple1) -> rule5)) -> rule7))]
("cow" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is not rough.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule7))]
("cow" "is" "rough" "-")
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is blue.
True
5
proof
[(((triple1 ((((triple1) -> rule5)) -> rule7)) -> rule4))]
("cow" "is" "blue" "+")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is not blue.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule5)) -> rule7)) -> rule4))]
("cow" "is" "blue" "-")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
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 chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The cow is big.[(triple1)] @1: The cow is young.[(((triple1) -> rule5))] @2: The cow is rough.[(((((triple1) -> rule5)) -> rule7))] @3: The cow is blue.[(((triple1 ((((triple1) -> rule5)) -> rule7)) -> rule4))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
((triple1) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3