The cow is nice. If someone is young then they are red. Nice people are round. Nice, young people are round. If someone is young and red then they are nice. Nice people are young. If someone is nice and not young then they are not big.
The cow is nice.
("cow" "is" "nice" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Nice, young people are round.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is young and red then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and not young then they are not big.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "big" "-"))
The cow is nice.
True
1
proof
[(triple1)]
("cow" "is" "nice" "+")
triple1
The cow is not nice.
False
1
inv-proof
[(triple1)]
("cow" "is" "nice" "-")
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 red.
True
3
proof
[(((((triple1) -> rule5)) -> rule1))]
("cow" "is" "red" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is not red.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule1))]
("cow" "is" "red" "-")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
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 is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
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 nice.[(triple1)] @1: The cow is round.[(((triple1) -> rule2) OR ((triple1 ((triple1) -> rule5)) -> rule3))] The cow is young.[(((triple1) -> rule5))] @2: The cow is red.[(((((triple1) -> rule5)) -> rule1))]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
((triple1) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
((triple1 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is young.
("cow" "is" "young" "+")
((triple1) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2