The cat eats the cow. The cat is nice. The cat is round. The cat sees the cow. The cow eats the cat. The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow is round. The cow does not need the cat. The cow sees the cat. If someone eats the cow then the cow sees the cat. If someone sees the cow then they do not need the cat. If someone needs the cow and they are round then they are not kind. If the cat eats the cow and the cat sees the cow then the cat needs the cow. If someone sees the cat and they do not see the cow then they do not eat the cow. If someone needs the cat then the cat does not eat the cow.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow does not need the cat.
("cow" "needs" "cat" "-")
The cow sees the cat.
("cow" "sees" "cat" "+")
If someone eats the cow then the cow sees the cat.
((("someone" "eats" "cow" "+")) -> ("cow" "sees" "cat" "+"))
If someone sees the cow then they do not need the cat.
((("someone" "sees" "cow" "+")) -> ("someone" "needs" "cat" "-"))
If someone needs the cow and they are round then they are not kind.
((("someone" "needs" "cow" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
If the cat eats the cow and the cat sees the cow then the cat needs the cow.
((("cat" "eats" "cow" "+") ("cat" "sees" "cow" "+")) -> ("cat" "needs" "cow" "+"))
If someone sees the cat and they do not see the cow then they do not eat the cow.
((("someone" "sees" "cat" "+") ("someone" "sees" "cow" "~")) -> ("someone" "eats" "cow" "-"))
If someone needs the cat then the cat does not eat the cow.
((("someone" "needs" "cat" "+")) -> ("cat" "eats" "cow" "-"))
The cat is round.
True
1
proof
[(triple3)]
("cat" "is" "round" "+")
triple3
The cow is not rough.
False
1
inv-proof
[(triple9)]
("cow" "is" "rough" "-")
triple9
The cat does not need the cat.
True
2
proof
[(((triple4) -> rule2))]
("cat" "needs" "cat" "-")
((triple4) -> (rule2 % int1))
The cat does not need the cat.
("cat" "needs" "cat" "-")
int1
The cat does not need the cow.
False
3
inv-proof
[(((triple1 triple4) -> rule4))]
("cat" "needs" "cow" "-")
((triple1 triple4) -> (rule4 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is not kind.
True
5
proof
[(((((triple1 triple4) -> rule4) triple3) -> rule3))]
("cat" "is" "kind" "-")
((((triple1 triple4) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cat is kind.
False
5
inv-proof
[(((((triple1 triple4) -> rule4) triple3) -> rule3))]
("cat" "is" "kind" "+")
((((triple1 triple4) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
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 cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cat eats the cow.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3)] The cat sees the cow.[(triple4)] The cow does not need the cat.[(triple11)] The cow eats the cat.[(triple5)] The cow is green.[(triple6)] The cow is kind.[(triple7)] The cow is nice.[(triple8)] The cow is rough.[(triple9)] The cow is round.[(triple10)] The cow sees the cat.[(triple12 OR ((triple1) -> rule1))] @1: The cat does not need the cat.[(((triple4) -> rule2))] The cat needs the cow.[(((triple1 triple4) -> rule4))] @2: The cat is not kind.[(((((triple1 triple4) -> rule4) triple3) -> rule3))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat sees the cow.
("cat" "sees" "cow" "+")
triple4
The cow does not need the cat.
("cow" "needs" "cat" "-")
triple11
The cow eats the cat.
("cow" "eats" "cat" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is rough.
("cow" "is" "rough" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow sees the cat.
("cow" "sees" "cat" "+")
triple12
((triple1) -> (rule1 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cat does not need the cat.
("cat" "needs" "cat" "-")
((triple4) -> (rule2 % int1))
The cat does not need the cat.
("cat" "needs" "cat" "-")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
((triple1 triple4) -> (rule4 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is not kind.
("cat" "is" "kind" "-")
((((triple1 triple4) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2