The lion chases the tiger. The lion is not big. The lion is cold. The lion is nice. The lion is not red. The lion sees the tiger. The tiger chases the lion. The tiger does not eat the lion. The tiger is cold. The tiger is kind. The tiger is nice. The tiger sees the lion. If the lion eats the tiger and the tiger chases the lion then the tiger is big. If someone is big then they chase the tiger. If someone chases the lion then they are kind. If someone chases the tiger and they are not red then the tiger chases the lion. If someone chases the tiger and the tiger is not red then they do not see the lion. If someone chases the tiger and the tiger is kind then the tiger sees the lion. If someone is cold then they eat the tiger. If someone is cold and big then they see the tiger.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is not big.
("lion" "is" "big" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If the lion eats the tiger and the tiger chases the lion then the tiger is big.
((("lion" "eats" "tiger" "+") ("tiger" "chases" "lion" "+")) -> ("tiger" "is" "big" "+"))
If someone is big then they chase the tiger.
((("someone" "is" "big" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the lion then they are kind.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the tiger and they are not red then the tiger chases the lion.
((("someone" "chases" "tiger" "+") ("someone" "is" "red" "~")) -> ("tiger" "chases" "lion" "+"))
If someone chases the tiger and the tiger is not red then they do not see the lion.
((("someone" "chases" "tiger" "+") ("tiger" "is" "red" "~")) -> ("someone" "sees" "lion" "-"))
If someone chases the tiger and the tiger is kind then the tiger sees the lion.
((("someone" "chases" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "sees" "lion" "+"))
If someone is cold then they eat the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "tiger" "+"))
If someone is cold and big then they see the tiger.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "tiger" "+"))
The tiger is kind.
True
1
proof
[(triple10 OR ((triple7) -> rule3) OR ((((triple1 triple5) -> rule4)) -> rule3))]
("tiger" "is" "kind" "+")
triple10
((triple7) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple1 triple5) -> (rule4 % int2))) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The lion does not see the tiger.
False
1
inv-proof
[(triple6)]
("lion" "sees" "tiger" "-")
triple6
The lion eats the tiger.
True
2
proof
[(((triple3) -> rule7))]
("lion" "eats" "tiger" "+")
((triple3) -> (rule7 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple9) -> rule7))]
("tiger" "eats" "tiger" "-")
((triple9) -> (rule7 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "kind" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The lion chases the tiger.[(triple1)] The lion is cold.[(triple3)] The lion is nice.[(triple4)] The lion is not big.[(triple2)] The lion is not red.[(triple5)] The lion sees the tiger.[(triple6)] The tiger chases the lion.[(triple7 OR ((triple1 triple5) -> rule4))] The tiger does not eat the lion.[(triple8)] The tiger is cold.[(triple9)] The tiger is kind.[(triple10 OR ((triple7) -> rule3) OR ((((triple1 triple5) -> rule4)) -> rule3))] The tiger is nice.[(triple11)] The tiger sees the lion.[(triple12 OR ((triple1 triple10) -> rule6) OR ((triple1 ((triple7) -> rule3)) -> rule6) OR ((triple1 ((((triple1 triple5) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple3) -> rule7) triple7) -> rule1)) -> rule2) triple10) -> rule6) OR ((((((((triple3) -> rule7) triple7) -> rule1)) -> rule2) ((triple7) -> rule3)) -> rule6) OR ((((((((triple3) -> rule7) ((triple1 triple5) -> rule4)) -> rule1)) -> rule2) triple10) -> rule6) OR ((((((((triple3) -> rule7) triple7) -> rule1)) -> rule2) ((((triple1 triple5) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple3) -> rule7) ((triple1 triple5) -> rule4)) -> rule1)) -> rule2) ((triple7) -> rule3)) -> rule6) OR ((((((((triple3) -> rule7) ((triple1 triple5) -> rule4)) -> rule1)) -> rule2) ((((triple1 triple5) -> rule4)) -> rule3)) -> rule6))] @1: The lion eats the tiger.[(((triple3) -> rule7))] The tiger eats the tiger.[(((triple9) -> rule7))] @2: The tiger is big.[(((((triple3) -> rule7) triple7) -> rule1) OR ((((triple3) -> rule7) ((triple1 triple5) -> rule4)) -> rule1))] @3: The tiger chases the tiger.[(((((((triple3) -> rule7) triple7) -> rule1)) -> rule2) OR ((((((triple3) -> rule7) ((triple1 triple5) -> rule4)) -> rule1)) -> rule2))] The tiger sees the tiger.[(((triple9 ((((triple3) -> rule7) triple7) -> rule1)) -> rule8) OR ((triple9 ((((triple3) -> rule7) ((triple1 triple5) -> rule4)) -> rule1)) -> rule8))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is not big.
("lion" "is" "big" "-")
triple2
The lion is not red.
("lion" "is" "red" "-")
triple5
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple6
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple7
((triple1 triple5) -> (rule4 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
((triple7) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple1 triple5) -> (rule4 % int2))) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple12
((triple1 triple10) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
((triple1 ((triple7) -> (rule3 % int2))) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((triple1 ((((triple1 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
((((((((triple3) -> (rule7 % int4)) triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((((triple3) -> (rule7 % int5)) triple7) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7) -> (rule3 % int2))) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple3) -> (rule7 % int5)) ((triple1 triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple3) -> (rule7 % int6)) triple7) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple1 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((triple3) -> (rule7 % int6)) ((triple1 triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7) -> (rule3 % int2))) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((triple3) -> (rule7 % int6)) ((triple1 triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple1 triple5) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
The tiger sees the lion.
("tiger" "sees" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
The lion eats the tiger.
("lion" "eats" "tiger" "+")
((triple3) -> (rule7 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple9) -> (rule7 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((((triple3) -> (rule7 % int2)) triple7) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple1 triple5) -> (rule4 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((((((triple3) -> (rule7 % int3)) triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((((triple3) -> (rule7 % int4)) ((triple1 triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple9 ((((triple3) -> (rule7 % int3)) triple7) -> (rule1 % int2))) -> (rule8 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((triple9 ((((triple3) -> (rule7 % int4)) ((triple1 triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4