The cow is blue. The cow is round. The cow is young. The cow likes the rabbit. The cow likes the squirrel. The cow visits the lion. The lion does not eat the cow. The lion is big. The lion does not visit the squirrel. The rabbit eats the squirrel. The squirrel eats the cow. The squirrel eats the rabbit. The squirrel likes the cow. The squirrel likes the rabbit. If something eats the squirrel then the squirrel is round. If something eats the lion then the lion likes the squirrel. If something likes the squirrel and the squirrel eats the cow then it likes the rabbit. If something likes the cow then the cow eats the lion. If something visits the cow and the cow likes the squirrel then it likes the cow. If something likes the rabbit then it visits the cow. If something visits the squirrel then the squirrel visits the rabbit.
The cow is blue.
("cow" "is" "blue" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
The lion is big.
("lion" "is" "big" "+")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something eats the squirrel then the squirrel is round.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If something eats the lion then the lion likes the squirrel.
((("something" "eats" "lion" "+")) -> ("lion" "likes" "squirrel" "+"))
If something likes the squirrel and the squirrel eats the cow then it likes the rabbit.
((("something" "likes" "squirrel" "+") ("squirrel" "eats" "cow" "+")) -> ("something" "likes" "rabbit" "+"))
If something likes the cow then the cow eats the lion.
((("something" "likes" "cow" "+")) -> ("cow" "eats" "lion" "+"))
If something visits the cow and the cow likes the squirrel then it likes the cow.
((("something" "visits" "cow" "+") ("cow" "likes" "squirrel" "+")) -> ("something" "likes" "cow" "+"))
If something likes the rabbit then it visits the cow.
((("something" "likes" "rabbit" "+")) -> ("something" "visits" "cow" "+"))
If something visits the squirrel then the squirrel visits the rabbit.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "visits" "rabbit" "+"))
The cow visits the lion.
True
1
proof
[(triple6)]
("cow" "visits" "lion" "+")
triple6
The lion visits the squirrel.
False
1
inv-proof
[(triple9)]
("lion" "visits" "squirrel" "+")
triple9
The squirrel visits the cow.
True
2
proof
[(((triple14) -> rule6))]
("squirrel" "visits" "cow" "+")
((triple14) -> (rule6 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple4) -> rule6) OR ((((triple5 triple11) -> rule3)) -> rule6))]
("cow" "visits" "cow" "-")
((triple4) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((((triple5 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
True
3
proof
[(((((triple13) -> rule4)) -> rule2) OR ((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) OR ((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2))]
("lion" "likes" "squirrel" "+")
((((triple13) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
((((((((triple14) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int4
((((((((triple4) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
((((((((((triple5 triple11) -> (rule3 % int5))) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int5
The cow does not like the cow.
False
4
inv-proof
[(((((triple4) -> rule6) triple5) -> rule5) OR ((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5))]
("cow" "likes" "cow" "-")
((((triple4) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((((triple5 triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int3
The lion likes the rabbit.
True
5
proof
[(((((((triple13) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3))]
("lion" "likes" "rabbit" "+")
((((((triple13) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
((((((((((triple14) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int5
((((((((((triple4) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
int5
((((((((((((triple5 triple11) -> (rule3 % int6))) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
int5
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int6
The lion does not like the rabbit.
False
5
inv-proof
[(((((((triple13) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3))]
("lion" "likes" "rabbit" "-")
((((((triple13) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
((((((((((triple14) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int5
((((((((((triple4) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
int5
((((((((((((triple5 triple11) -> (rule3 % int6))) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
int5
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int6
The lion visits the cow.
True
6
proof
[(((((((((triple13) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6))]
("lion" "visits" "cow" "+")
((((((((triple13) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
((((((((((((triple14) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int6
((((((((((((triple4) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
int5
The cow visits the cow.
("cow" "visits" "cow" "+")
int6
((((((((((((((triple5 triple11) -> (rule3 % int7))) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
int5
The cow visits the cow.
("cow" "visits" "cow" "+")
int6
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int7
The lion does not visit the cow.
False
6
inv-proof
[(((((((((triple13) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6))]
("lion" "visits" "cow" "-")
((((((((triple13) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
((((((((((((triple14) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int6
((((((((((((triple4) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
int5
The cow visits the cow.
("cow" "visits" "cow" "+")
int6
((((((((((((((triple5 triple11) -> (rule3 % int7))) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
int5
The cow visits the cow.
("cow" "visits" "cow" "+")
int6
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int7
The lion likes the cow.
True
8
proof
[(((((((((((triple13) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5))]
("lion" "likes" "cow" "+")
((((((((((triple13) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
((((((((((((((triple14) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int6
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int7
((((((((((((((triple4) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The cow likes the cow.
("cow" "likes" "cow" "+")
int6
The cow visits the cow.
("cow" "visits" "cow" "+")
int7
((((((((((((((((triple5 triple11) -> (rule3 % int8))) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The cow likes the cow.
("cow" "likes" "cow" "+")
int6
The cow visits the cow.
("cow" "visits" "cow" "+")
int7
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int8
The lion does not like the cow.
False
8
inv-proof
[(((((((((((triple13) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5))]
("lion" "likes" "cow" "-")
((((((((((triple13) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
((((((((((((((triple14) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int6
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int7
((((((((((((((triple4) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The cow likes the cow.
("cow" "likes" "cow" "+")
int6
The cow visits the cow.
("cow" "visits" "cow" "+")
int7
((((((((((((((((triple5 triple11) -> (rule3 % int8))) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The cow likes the cow.
("cow" "likes" "cow" "+")
int6
The cow visits the cow.
("cow" "visits" "cow" "+")
int7
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int8
The rabbit does not visit the cow.
Unknown
inv-rconc
[@2: The rabbit visits the cow.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("rabbit" "visits" "cow" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit does not like the cow.
Unknown
inv-rconc
[@3: The rabbit likes the cow.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule3 <- FAIL)]]
("rabbit" "likes" "cow" "-")
The squirrel visits the rabbit.
Unknown
rconc
[@1: The squirrel visits the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "visits" "rabbit" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel likes the lion.
Unknown
random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "+")
The rabbit does not eat the cow.
Unknown
inv-random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cow is blue.[(triple1)] The cow is round.[(triple2)] The cow is young.[(triple3)] The cow likes the rabbit.[(triple4 OR ((triple5 triple11) -> rule3))] The cow likes the squirrel.[(triple5)] The cow visits the lion.[(triple6)] The lion does not eat the cow.[(triple7)] The lion does not visit the squirrel.[(triple9)] The lion is big.[(triple8)] The rabbit eats the squirrel.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel eats the rabbit.[(triple12)] The squirrel likes the cow.[(triple13 OR ((((triple14) -> rule6) triple5) -> rule5))] The squirrel likes the rabbit.[(triple14)] @1: The cow eats the lion.[(((triple13) -> rule4) OR ((((((triple14) -> rule6) triple5) -> rule5)) -> rule4) OR ((((((triple4) -> rule6) triple5) -> rule5)) -> rule4) OR ((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4))] The cow visits the cow.[(((triple4) -> rule6) OR ((((triple5 triple11) -> rule3)) -> rule6))] The squirrel is round.[(((triple10) -> rule1))] The squirrel visits the cow.[(((triple14) -> rule6))] @2: The cow likes the cow.[(((((triple4) -> rule6) triple5) -> rule5) OR ((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5))] The lion likes the squirrel.[(((((triple13) -> rule4)) -> rule2) OR ((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) OR ((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2))] @3: The lion likes the rabbit.[(((((((triple13) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3) OR ((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3))] @4: The lion visits the cow.[(((((((((triple13) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6))] @5: The lion likes the cow.[(((((((((((triple13) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((triple14) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((triple4) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5) OR ((((((((((((((((triple5 triple11) -> rule3)) -> rule6) triple5) -> rule5)) -> rule4)) -> rule2) triple11) -> rule3)) -> rule6) triple5) -> rule5))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
((triple5 triple11) -> (rule3 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The cow visits the lion.
("cow" "visits" "lion" "+")
triple6
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple7
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple9
The lion is big.
("lion" "is" "big" "+")
triple8
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple10
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple11
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple12
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple13
((((triple14) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The cow eats the lion.
("cow" "eats" "lion" "+")
((triple13) -> (rule4 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
((((((triple14) -> (rule6 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int3
((((((triple4) -> (rule6 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
((((((((triple5 triple11) -> (rule3 % int4))) -> (rule6 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple4) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((((triple5 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((triple10) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple14) -> (rule6 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((((triple4) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((((triple5 triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
((((triple13) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
((((((((triple14) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int4
((((((((triple4) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
((((((((((triple5 triple11) -> (rule3 % int5))) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int5
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
((((((triple13) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
((((((((((triple14) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int5
((((((((((triple4) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
int5
((((((((((((triple5 triple11) -> (rule3 % int6))) -> (rule6 % int5)) triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
int5
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int6
The lion visits the cow.
("lion" "visits" "cow" "+")
((((((((triple13) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
((((((((((((triple14) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int6
((((((((((((triple4) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
int5
The cow visits the cow.
("cow" "visits" "cow" "+")
int6
((((((((((((((triple5 triple11) -> (rule3 % int7))) -> (rule6 % int6)) triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
int5
The cow visits the cow.
("cow" "visits" "cow" "+")
int6
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int7
The lion likes the cow.
("lion" "likes" "cow" "+")
((((((((((triple13) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
((((((((((((((triple14) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int6
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int7
((((((((((((((triple4) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The cow likes the cow.
("cow" "likes" "cow" "+")
int6
The cow visits the cow.
("cow" "visits" "cow" "+")
int7
((((((((((((((((triple5 triple11) -> (rule3 % int8))) -> (rule6 % int7)) triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int4
The cow eats the lion.
("cow" "eats" "lion" "+")
int5
The cow likes the cow.
("cow" "likes" "cow" "+")
int6
The cow visits the cow.
("cow" "visits" "cow" "+")
int7
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int8