The cow eats the lion. The cow is cold. The cow is green. The cow is kind. The cow is red. The cow is round. The cow likes the lion. The cow sees the lion. The lion eats the cow. The lion is cold. The lion is green. The lion is red. The lion is round. The lion likes the cow. The lion sees the cow. If the lion sees the cow then the lion eats the cow. If someone is kind and red then they eat the lion. If someone is round and they see the lion then they like the lion. If the cow sees the lion then the lion eats the cow. If someone likes the cow then the cow is green. If someone sees the lion then they see the cow. If the cow is cold then the cow sees the lion. If someone eats the cow and they are green then they are kind.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If the lion sees the cow then the lion eats the cow.
((("lion" "sees" "cow" "+")) -> ("lion" "eats" "cow" "+"))
If someone is kind and red then they eat the lion.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "eats" "lion" "+"))
If someone is round and they see the lion then they like the lion.
((("someone" "is" "round" "+") ("someone" "sees" "lion" "+")) -> ("someone" "likes" "lion" "+"))
If the cow sees the lion then the lion eats the cow.
((("cow" "sees" "lion" "+")) -> ("lion" "eats" "cow" "+"))
If someone likes the cow then the cow is green.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "green" "+"))
If someone sees the lion then they see the cow.
((("someone" "sees" "lion" "+")) -> ("someone" "sees" "cow" "+"))
If the cow is cold then the cow sees the lion.
((("cow" "is" "cold" "+")) -> ("cow" "sees" "lion" "+"))
If someone eats the cow and they are green then they are kind.
((("someone" "eats" "cow" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
The cow is round.
True
1
proof
[(triple6)]
("cow" "is" "round" "+")
triple6
The cow does not eat the lion.
False
1
inv-proof
[(triple1 OR ((triple4 triple5) -> rule2))]
("cow" "eats" "lion" "-")
triple1
((triple4 triple5) -> (rule2 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The lion is kind.
True
3
proof
[(((triple9 triple11) -> rule8) OR ((((triple15) -> rule1) triple11) -> rule8) OR ((((triple8) -> rule4) triple11) -> rule8) OR ((((((triple2) -> rule7)) -> rule4) triple11) -> rule8))]
("lion" "is" "kind" "+")
((triple9 triple11) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
((((triple15) -> (rule1 % int2)) triple11) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((((triple8) -> (rule4 % int2)) triple11) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2)) triple11) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The cow sees the lion.
("cow" "sees" "lion" "+")
int3
The cow does not see the cow.
False
2
inv-proof
[(((triple8) -> rule6) OR ((((triple2) -> rule7)) -> rule6))]
("cow" "sees" "cow" "-")
((triple8) -> (rule6 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the lion.
("cow" "sees" "lion" "+")
int2
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
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 eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow eats the lion.[(triple1 OR ((triple4 triple5) -> rule2))] The cow is cold.[(triple2)] The cow is green.[(triple3 OR ((triple14) -> rule5))] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The cow likes the lion.[(triple7 OR ((triple6 triple8) -> rule3) OR ((triple6 ((triple2) -> rule7)) -> rule3))] The cow sees the lion.[(triple8 OR ((triple2) -> rule7))] The lion eats the cow.[(triple9 OR ((triple15) -> rule1) OR ((triple8) -> rule4) OR ((((triple2) -> rule7)) -> rule4))] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is red.[(triple12)] The lion is round.[(triple13)] The lion likes the cow.[(triple14)] The lion sees the cow.[(triple15)] @1: The cow sees the cow.[(((triple8) -> rule6) OR ((((triple2) -> rule7)) -> rule6))] The lion is kind.[(((triple9 triple11) -> rule8) OR ((((triple15) -> rule1) triple11) -> rule8) OR ((((triple8) -> rule4) triple11) -> rule8) OR ((((((triple2) -> rule7)) -> rule4) triple11) -> rule8))] @2: The lion eats the lion.[(((((triple9 triple11) -> rule8) triple12) -> rule2) OR ((((((triple15) -> rule1) triple11) -> rule8) triple12) -> rule2) OR ((((((triple8) -> rule4) triple11) -> rule8) triple12) -> rule2) OR ((((((((triple2) -> rule7)) -> rule4) triple11) -> rule8) triple12) -> rule2))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
((triple4 triple5) -> (rule2 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
((triple14) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow likes the lion.
("cow" "likes" "lion" "+")
triple7
((triple6 triple8) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
((triple6 ((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow sees the lion.
("cow" "sees" "lion" "+")
int2
The cow sees the lion.
("cow" "sees" "lion" "+")
triple8
((triple2) -> (rule7 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
triple9
((triple15) -> (rule1 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((triple8) -> (rule4 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The cow sees the lion.
("cow" "sees" "lion" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
triple10
The lion is green.
("lion" "is" "green" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The lion likes the cow.
("lion" "likes" "cow" "+")
triple14
The lion sees the cow.
("lion" "sees" "cow" "+")
triple15
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple8) -> (rule6 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow sees the lion.
("cow" "sees" "lion" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
((triple9 triple11) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
((((triple15) -> (rule1 % int2)) triple11) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((((triple8) -> (rule4 % int2)) triple11) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2)) triple11) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The cow sees the lion.
("cow" "sees" "lion" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple9 triple11) -> (rule8 % int2)) triple12) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
((((((triple15) -> (rule1 % int3)) triple11) -> (rule8 % int2)) triple12) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
((((((triple8) -> (rule4 % int3)) triple11) -> (rule8 % int2)) triple12) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule4 % int3)) triple11) -> (rule8 % int2)) triple12) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The cow sees the lion.
("cow" "sees" "lion" "+")
int4