The dog eats the lion. The dog is blue. The dog is cold. The dog is green. The dog is red. The dog sees the lion. The dog visits the lion. The lion eats the dog. The lion is cold. The lion is kind. The lion sees the dog. The lion visits the dog. If someone sees the dog and the dog visits the lion then they visit the dog. If someone is kind and they eat the dog then they eat the lion. If someone eats the lion then the lion sees the dog. If someone eats the lion then they see the dog. If someone sees the dog and they eat the dog then they visit the dog. If the lion visits the dog and the dog visits the lion then the dog sees the lion.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If someone sees the dog and the dog visits the lion then they visit the dog.
((("someone" "sees" "dog" "+") ("dog" "visits" "lion" "+")) -> ("someone" "visits" "dog" "+"))
If someone is kind and they eat the dog then they eat the lion.
((("someone" "is" "kind" "+") ("someone" "eats" "dog" "+")) -> ("someone" "eats" "lion" "+"))
If someone eats the lion then the lion sees the dog.
((("someone" "eats" "lion" "+")) -> ("lion" "sees" "dog" "+"))
If someone eats the lion then they see the dog.
((("someone" "eats" "lion" "+")) -> ("someone" "sees" "dog" "+"))
If someone sees the dog and they eat the dog then they visit the dog.
((("someone" "sees" "dog" "+") ("someone" "eats" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If the lion visits the dog and the dog visits the lion then the dog sees the lion.
((("lion" "visits" "dog" "+") ("dog" "visits" "lion" "+")) -> ("dog" "sees" "lion" "+"))
The dog is cold.
True
1
proof
[(triple3)]
("dog" "is" "cold" "+")
triple3
The dog is not cold.
False
1
inv-proof
[(triple3)]
("dog" "is" "cold" "-")
triple3
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The dog eats the lion.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is red.[(triple5)] The dog sees the lion.[(triple6 OR ((triple12 triple7) -> rule6) OR ((((triple11 triple7) -> rule1) triple7) -> rule6) OR ((((triple11 triple8) -> rule5) triple7) -> rule6) OR ((((((triple1) -> rule3) triple7) -> rule1) triple7) -> rule6) OR ((((((triple1) -> rule3) triple8) -> rule5) triple7) -> rule6) OR ((((((((triple10 triple8) -> rule2)) -> rule3) triple7) -> rule1) triple7) -> rule6) OR ((((((((triple10 triple8) -> rule2)) -> rule3) triple8) -> rule5) triple7) -> rule6) OR ((((((((triple10 triple8) -> rule2)) -> rule4) triple7) -> rule1) triple7) -> rule6) OR ((((((((triple10 triple8) -> rule2)) -> rule4) triple8) -> rule5) triple7) -> rule6))] The dog visits the lion.[(triple7)] The lion eats the dog.[(triple8)] The lion is cold.[(triple9)] The lion is kind.[(triple10)] The lion sees the dog.[(triple11 OR ((triple1) -> rule3) OR ((((triple10 triple8) -> rule2)) -> rule3) OR ((((triple10 triple8) -> rule2)) -> rule4))] The lion visits the dog.[(triple12 OR ((triple11 triple7) -> rule1) OR ((triple11 triple8) -> rule5) OR ((((triple1) -> rule3) triple7) -> rule1) OR ((((triple1) -> rule3) triple8) -> rule5) OR ((((((triple10 triple8) -> rule2)) -> rule3) triple7) -> rule1) OR ((((((triple10 triple8) -> rule2)) -> rule3) triple8) -> rule5) OR ((((((triple10 triple8) -> rule2)) -> rule4) triple7) -> rule1) OR ((((((triple10 triple8) -> rule2)) -> rule4) triple8) -> rule5))] @1: The dog sees the dog.[(((triple1) -> rule4))] The lion eats the lion.[(((triple10 triple8) -> rule2))] @2: The dog visits the dog.[(((((triple1) -> rule4) triple7) -> rule1))]
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog sees the lion.
("dog" "sees" "lion" "+")
triple6
((triple12 triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
((((triple11 triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
((((triple11 triple8) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
((((((triple1) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
int3
((((((triple1) -> (rule3 % int3)) triple8) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
int3
((((((((triple10 triple8) -> (rule2 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((((triple10 triple8) -> (rule2 % int4))) -> (rule3 % int3)) triple8) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((((triple10 triple8) -> (rule2 % int4))) -> (rule4 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((((triple10 triple8) -> (rule2 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The dog visits the lion.
("dog" "visits" "lion" "+")
triple7
The lion eats the dog.
("lion" "eats" "dog" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The lion sees the dog.
("lion" "sees" "dog" "+")
triple11
((triple1) -> (rule3 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
((((triple10 triple8) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple10 triple8) -> (rule2 % int2))) -> (rule4 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion visits the dog.
("lion" "visits" "dog" "+")
triple12
((triple11 triple7) -> (rule1 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
((triple11 triple8) -> (rule5 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
((((triple1) -> (rule3 % int2)) triple7) -> (rule1 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
((((triple1) -> (rule3 % int2)) triple8) -> (rule5 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
((((((triple10 triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((((triple10 triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((((triple10 triple8) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((((triple10 triple8) -> (rule2 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple1) -> (rule4 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple10 triple8) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((((triple1) -> (rule4 % int2)) triple7) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2