The cow eats the lion. The cow is blue. The cow is green. The cow is nice. The cow is red. The cow is young. The cow likes the lion. The cow needs the lion. The lion eats the cow. The lion is blue. The lion is green. The lion is nice. The lion is red. The lion is young. The lion likes the cow. The lion needs the cow. If something eats the cow then the cow eats the lion. If something likes the lion then it needs the lion. If something is nice and it likes the cow then the cow needs the lion. If something is young then it is blue. If something is red then it likes the lion. If something needs the lion then it eats the lion.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If something eats the cow then the cow eats the lion.
((("something" "eats" "cow" "+")) -> ("cow" "eats" "lion" "+"))
If something likes the lion then it needs the lion.
((("something" "likes" "lion" "+")) -> ("something" "needs" "lion" "+"))
If something is nice and it likes the cow then the cow needs the lion.
((("something" "is" "nice" "+") ("something" "likes" "cow" "+")) -> ("cow" "needs" "lion" "+"))
If something is young then it is blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is red then it likes the lion.
((("something" "is" "red" "+")) -> ("something" "likes" "lion" "+"))
If something needs the lion then it eats the lion.
((("something" "needs" "lion" "+")) -> ("something" "eats" "lion" "+"))
The cow is nice.
True
1
proof
[(triple4)]
("cow" "is" "nice" "+")
triple4
The cow is not blue.
False
1
inv-proof
[(triple2 OR ((triple6) -> rule4))]
("cow" "is" "blue" "-")
triple2
((triple6) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The lion likes the lion.
True
2
proof
[(((triple13) -> rule5))]
("lion" "likes" "lion" "+")
((triple13) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not like the lion.
False
2
inv-proof
[(((triple13) -> rule5))]
("lion" "likes" "lion" "-")
((triple13) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion needs the lion.
True
3
proof
[(((((triple13) -> rule5)) -> rule2))]
("lion" "needs" "lion" "+")
((((triple13) -> (rule5 % int2))) -> (rule2 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion does not need the lion.
False
3
inv-proof
[(((((triple13) -> rule5)) -> rule2))]
("lion" "needs" "lion" "-")
((((triple13) -> (rule5 % int2))) -> (rule2 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
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 cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow eats the lion.[(triple1 OR ((triple8) -> rule6) OR ((triple9) -> rule1) OR ((((triple7) -> rule2)) -> rule6) OR ((((triple12 triple15) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule2)) -> rule6))] The cow is blue.[(triple2 OR ((triple6) -> rule4))] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The cow likes the lion.[(triple7 OR ((triple5) -> rule5))] The cow needs the lion.[(triple8 OR ((triple7) -> rule2) OR ((triple12 triple15) -> rule3) OR ((((triple5) -> rule5)) -> rule2))] The lion eats the cow.[(triple9)] The lion is blue.[(triple10 OR ((triple14) -> rule4))] The lion is green.[(triple11)] The lion is nice.[(triple12)] The lion is red.[(triple13)] The lion is young.[(triple14)] The lion likes the cow.[(triple15)] The lion needs the cow.[(triple16)] @1: The lion likes the lion.[(((triple13) -> rule5))] @2: The lion needs the lion.[(((((triple13) -> rule5)) -> rule2))] @3: The lion eats the lion.[(((((((triple13) -> rule5)) -> rule2)) -> rule6))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
((triple8) -> (rule6 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
((triple9) -> (rule1 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
((((triple12 triple15) -> (rule3 % int2))) -> (rule6 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The cow likes the lion.
("cow" "likes" "lion" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
triple2
((triple6) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow likes the lion.
("cow" "likes" "lion" "+")
triple7
((triple5) -> (rule5 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
triple8
((triple7) -> (rule2 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
((triple12 triple15) -> (rule3 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
((triple14) -> (rule4 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
triple13
The lion is young.
("lion" "is" "young" "+")
triple14
The lion likes the cow.
("lion" "likes" "cow" "+")
triple15
The lion needs the cow.
("lion" "needs" "cow" "+")
triple16
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple13) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((((triple13) -> (rule5 % int2))) -> (rule2 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
((((((triple13) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3