The dog chases the lion. The dog eats the lion. The dog is cold. The dog is not green. The dog is nice. The dog is round. The dog is young. The dog does not see the lion. The lion chases the dog. The lion eats the dog. The lion is cold. The lion is green. The lion is nice. The lion is round. The lion is young. The lion sees the dog. If someone chases the lion and the lion chases the dog then they do not see the lion. If someone sees the lion then the lion does not chase the dog. If someone sees the lion and they eat the dog then the dog chases the lion. If someone is young then they chase the lion. If someone sees the dog and the dog is young then they eat the lion. If someone chases the lion then they eat the lion. If someone is young and they see the dog then the dog is cold. If someone chases the dog and the dog eats the lion then the dog is round.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not see the lion.
("dog" "sees" "lion" "-")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If someone chases the lion and the lion chases the dog then they do not see the lion.
((("someone" "chases" "lion" "+") ("lion" "chases" "dog" "+")) -> ("someone" "sees" "lion" "-"))
If someone sees the lion then the lion does not chase the dog.
((("someone" "sees" "lion" "+")) -> ("lion" "chases" "dog" "-"))
If someone sees the lion and they eat the dog then the dog chases the lion.
((("someone" "sees" "lion" "+") ("someone" "eats" "dog" "+")) -> ("dog" "chases" "lion" "+"))
If someone is young then they chase the lion.
((("someone" "is" "young" "+")) -> ("someone" "chases" "lion" "+"))
If someone sees the dog and the dog is young then they eat the lion.
((("someone" "sees" "dog" "+") ("dog" "is" "young" "+")) -> ("someone" "eats" "lion" "+"))
If someone chases the lion then they eat the lion.
((("someone" "chases" "lion" "+")) -> ("someone" "eats" "lion" "+"))
If someone is young and they see the dog then the dog is cold.
((("someone" "is" "young" "+") ("someone" "sees" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone chases the dog and the dog eats the lion then the dog is round.
((("someone" "chases" "dog" "+") ("dog" "eats" "lion" "+")) -> ("dog" "is" "round" "+"))
The dog is nice.
True
1
proof
[(triple5)]
("dog" "is" "nice" "+")
triple5
The lion is not nice.
False
1
inv-proof
[(triple13)]
("lion" "is" "nice" "-")
triple13
The lion chases the lion.
True
2
proof
[(((triple15) -> rule4))]
("lion" "chases" "lion" "+")
((triple15) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
2
inv-proof
[(((triple15) -> rule4))]
("lion" "chases" "lion" "-")
((triple15) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion does not see the lion.
True
4
proof
[(((((triple15) -> rule4) triple9) -> rule1))]
("lion" "sees" "lion" "-")
((((triple15) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The lion does not see the lion.
("lion" "sees" "lion" "-")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the lion.
False
4
inv-proof
[(((((triple15) -> rule4) triple9) -> rule1))]
("lion" "sees" "lion" "+")
((((triple15) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The lion does not see the lion.
("lion" "sees" "lion" "-")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog chases the lion.[(triple1 OR ((triple7) -> rule4))] The dog does not see the lion.[(triple8 OR ((triple1 triple9) -> rule1) OR ((((triple7) -> rule4) triple9) -> rule1))] The dog eats the lion.[(triple2 OR ((triple1) -> rule6) OR ((((triple7) -> rule4)) -> rule6))] The dog is cold.[(triple3 OR ((triple15 triple16) -> rule7))] The dog is nice.[(triple5)] The dog is not green.[(triple4)] The dog is round.[(triple6 OR ((triple9 triple2) -> rule8) OR ((triple9 ((triple1) -> rule6)) -> rule8) OR ((triple9 ((((triple7) -> rule4)) -> rule6)) -> rule8))] The dog is young.[(triple7)] The lion chases the dog.[(triple9)] The lion eats the dog.[(triple10)] The lion is cold.[(triple11)] The lion is green.[(triple12)] The lion is nice.[(triple13)] The lion is round.[(triple14)] The lion is young.[(triple15)] The lion sees the dog.[(triple16)] @1: The lion chases the lion.[(((triple15) -> rule4))] The lion eats the lion.[(((triple16 triple7) -> rule5) OR ((((triple15) -> rule4)) -> rule6))] @2: The lion does not see the lion.[(((((triple15) -> rule4) triple9) -> rule1))]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
((triple7) -> (rule4 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog does not see the lion.
("dog" "sees" "lion" "-")
triple8
((triple1 triple9) -> (rule1 % int1))
The dog does not see the lion.
("dog" "sees" "lion" "-")
int1
((((triple7) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The dog does not see the lion.
("dog" "sees" "lion" "-")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
((triple1) -> (rule6 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
triple3
((triple15 triple16) -> (rule7 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is not green.
("dog" "is" "green" "-")
triple4
The dog is round.
("dog" "is" "round" "+")
triple6
((triple9 triple2) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple9 ((triple1) -> (rule6 % int2))) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
((triple9 ((((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The dog chases the lion.
("dog" "chases" "lion" "+")
int3
The dog is young.
("dog" "is" "young" "+")
triple7
The lion chases the dog.
("lion" "chases" "dog" "+")
triple9
The lion eats the dog.
("lion" "eats" "dog" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is nice.
("lion" "is" "nice" "+")
triple13
The lion is round.
("lion" "is" "round" "+")
triple14
The lion is young.
("lion" "is" "young" "+")
triple15
The lion sees the dog.
("lion" "sees" "dog" "+")
triple16
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple15) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple16 triple7) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
((((triple15) -> (rule4 % int2))) -> (rule6 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion does not see the lion.
("lion" "sees" "lion" "-")
((((triple15) -> (rule4 % int2)) triple9) -> (rule1 % int1))
The lion does not see the lion.
("lion" "sees" "lion" "-")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2