The lion chases the rabbit. The lion is kind. The lion is red. The lion is not round. The lion likes the rabbit. The lion sees the rabbit. The rabbit chases the lion. The rabbit is kind. The rabbit is not nice. The rabbit is round. The rabbit does not like the lion. The rabbit sees the lion. If something sees the lion and it chases the rabbit then it likes the lion. If something sees the rabbit then it chases the lion. If something chases the lion then it sees the lion. If something sees the lion and the lion chases the rabbit then the rabbit sees the lion. If something likes the rabbit and the rabbit likes the lion then the rabbit chases the lion. If the lion chases the rabbit and the rabbit likes the lion then the lion does not like the rabbit. If something sees the rabbit and it is kind then it chases the rabbit. If something sees the lion then the lion sees the rabbit.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the lion.
("rabbit" "likes" "lion" "-")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If something sees the lion and it chases the rabbit then it likes the lion.
((("something" "sees" "lion" "+") ("something" "chases" "rabbit" "+")) -> ("something" "likes" "lion" "+"))
If something sees the rabbit then it chases the lion.
((("something" "sees" "rabbit" "+")) -> ("something" "chases" "lion" "+"))
If something chases the lion then it sees the lion.
((("something" "chases" "lion" "+")) -> ("something" "sees" "lion" "+"))
If something sees the lion and the lion chases the rabbit then the rabbit sees the lion.
((("something" "sees" "lion" "+") ("lion" "chases" "rabbit" "+")) -> ("rabbit" "sees" "lion" "+"))
If something likes the rabbit and the rabbit likes the lion then the rabbit chases the lion.
((("something" "likes" "rabbit" "+") ("rabbit" "likes" "lion" "+")) -> ("rabbit" "chases" "lion" "+"))
If the lion chases the rabbit and the rabbit likes the lion then the lion does not like the rabbit.
((("lion" "chases" "rabbit" "+") ("rabbit" "likes" "lion" "+")) -> ("lion" "likes" "rabbit" "-"))
If something sees the rabbit and it is kind then it chases the rabbit.
((("something" "sees" "rabbit" "+") ("something" "is" "kind" "+")) -> ("something" "chases" "rabbit" "+"))
If something sees the lion then the lion sees the rabbit.
((("something" "sees" "lion" "+")) -> ("lion" "sees" "rabbit" "+"))
The lion likes the rabbit.
True
1
proof
[(triple5)]
("lion" "likes" "rabbit" "+")
triple5
The rabbit does not chase the lion.
False
1
inv-proof
[(triple7)]
("rabbit" "chases" "lion" "-")
triple7
The lion chases the lion.
True
2
proof
[(((triple6) -> rule2) OR ((((triple12) -> rule8)) -> rule2) OR ((((((triple7) -> rule3)) -> rule8)) -> rule2))]
("lion" "chases" "lion" "+")
((triple6) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The lion does not chase the lion.
False
2
inv-proof
[(((triple6) -> rule2) OR ((((triple12) -> rule8)) -> rule2) OR ((((((triple7) -> rule3)) -> rule8)) -> rule2))]
("lion" "chases" "lion" "-")
((triple6) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The lion sees the lion.
True
3
proof
[(((((triple6) -> rule2)) -> rule3) OR ((((((triple12) -> rule8)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3))]
("lion" "sees" "lion" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
((((((triple12) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The lion does not see the lion.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule3) OR ((((((triple12) -> rule8)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3))]
("lion" "sees" "lion" "-")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
((((((triple12) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The lion likes the lion.
True
5
proof
[(((((((triple6) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1))]
("lion" "likes" "lion" "+")
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
((((((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
((((((triple6) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
((((((((triple12) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int4
((((((((triple12) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
((((((triple6) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple7) -> (rule3 % int4))) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
((((((((triple12) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
((((((((triple12) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int3))) -> (rule8 % int6)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int6
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int4
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int5
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule3 % int6))) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6
The lion does not like the lion.
False
5
inv-proof
[(((((((triple6) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1))]
("lion" "likes" "lion" "-")
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
((((((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
((((((triple6) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
((((((((triple12) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int4
((((((((triple12) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
((((((triple6) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple7) -> (rule3 % int4))) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
((((((((triple12) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
((((((((triple12) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int3))) -> (rule8 % int6)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int6
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int4
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int5
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule3 % int6))) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The lion chases the rabbit.[(triple1 OR ((triple6 triple2) -> rule7) OR ((((triple12) -> rule8) triple2) -> rule7) OR ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7))] The lion is kind.[(triple2)] The lion is not round.[(triple4)] The lion is red.[(triple3)] The lion likes the rabbit.[(triple5)] The lion sees the rabbit.[(triple6 OR ((triple12) -> rule8) OR ((((triple7) -> rule3)) -> rule8))] The rabbit chases the lion.[(triple7)] The rabbit does not like the lion.[(triple11)] The rabbit is kind.[(triple8)] The rabbit is not nice.[(triple9)] The rabbit is round.[(triple10)] The rabbit sees the lion.[(triple12 OR ((triple7) -> rule3) OR ((((((triple6) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple6) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule4))] @1: The lion chases the lion.[(((triple6) -> rule2) OR ((((triple12) -> rule8)) -> rule2) OR ((((((triple7) -> rule3)) -> rule8)) -> rule2))] @2: The lion sees the lion.[(((((triple6) -> rule2)) -> rule3) OR ((((((triple12) -> rule8)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3))] @3: The lion likes the lion.[(((((((triple6) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
((triple6 triple2) -> (rule7 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
((((triple12) -> (rule8 % int2)) triple2) -> (rule7 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2)) triple2) -> (rule7 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is not round.
("lion" "is" "round" "-")
triple4
The lion is red.
("lion" "is" "red" "+")
triple3
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
((triple12) -> (rule8 % int1))
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule8 % int1))
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple7
The rabbit does not like the lion.
("rabbit" "likes" "lion" "-")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple12
((triple7) -> (rule3 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
((((((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple6) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
((((((triple12) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
((((((((triple7) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
((((((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
((((((triple6) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
((((((((triple12) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int4
((((((((triple12) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
((((((triple6) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple7) -> (rule3 % int4))) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
int5
The lion chases the lion.
("lion" "chases" "lion" "+")
int6
((((((((triple12) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
((((((((triple12) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int3))) -> (rule8 % int6)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The lion sees the lion.
("lion" "sees" "lion" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
int5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int6
((((((((((triple7) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int4
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int5
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6
((((((((((triple7) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule3 % int6))) -> (rule8 % int5)) triple2) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
int4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
int5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int6