The cow eats the lion. The cow is nice. The cow likes the lion. The cow visits the lion. The lion is kind. The lion is red. The lion visits the cow. If something is kind and it visits the cow then the cow is nice. If something is nice and it eats the lion then it likes the cow. If something is kind then it likes the cow. If something visits the lion and the lion is blue then it is young. If the lion visits the cow then the cow visits the lion. If something likes the lion then it visits the lion. If something likes the cow and the cow eats the lion then the cow likes the lion. If something likes the lion then it visits the lion.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If something is kind and it visits the cow then the cow is nice.
((("something" "is" "kind" "+") ("something" "visits" "cow" "+")) -> ("cow" "is" "nice" "+"))
If something is nice and it eats the lion then it likes the cow.
((("something" "is" "nice" "+") ("something" "eats" "lion" "+")) -> ("something" "likes" "cow" "+"))
If something is kind then it likes the cow.
((("something" "is" "kind" "+")) -> ("something" "likes" "cow" "+"))
If something visits the lion and the lion is blue then it is young.
((("something" "visits" "lion" "+") ("lion" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If the lion visits the cow then the cow visits the lion.
((("lion" "visits" "cow" "+")) -> ("cow" "visits" "lion" "+"))
If something likes the lion then it visits the lion.
((("something" "likes" "lion" "+")) -> ("something" "visits" "lion" "+"))
If something likes the cow and the cow eats the lion then the cow likes the lion.
((("something" "likes" "cow" "+") ("cow" "eats" "lion" "+")) -> ("cow" "likes" "lion" "+"))
If something likes the lion then it visits the lion.
((("something" "likes" "lion" "+")) -> ("something" "visits" "lion" "+"))
The lion visits the cow.
True
1
proof
[(triple7)]
("lion" "visits" "cow" "+")
triple7
The cow is not nice.
False
1
inv-proof
[(triple2 OR ((triple5 triple7) -> rule1))]
("cow" "is" "nice" "-")
triple2
((triple5 triple7) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The lion likes the cow.
True
2
proof
[(((triple5) -> rule3))]
("lion" "likes" "cow" "+")
((triple5) -> (rule3 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion does not like the cow.
False
2
inv-proof
[(((triple5) -> rule3))]
("lion" "likes" "cow" "-")
((triple5) -> (rule3 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion does not visit the lion.
Unknown
inv-rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "visits" "lion" "-")
The lion is young.
Unknown
rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "young" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The cow eats the lion.[(triple1)] The cow is nice.[(triple2 OR ((triple5 triple7) -> rule1))] The cow likes the lion.[(triple3 OR ((((triple5) -> rule3) triple1) -> rule7) OR ((((triple2 triple1) -> rule2) triple1) -> rule7) OR ((((((triple5 triple7) -> rule1) triple1) -> rule2) triple1) -> rule7))] The cow visits the lion.[(triple4 OR ((triple3) -> rule6) OR ((triple3) -> rule8) OR ((triple7) -> rule5) OR ((((((triple5) -> rule3) triple1) -> rule7)) -> rule6) OR ((((((triple5) -> rule3) triple1) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule2) triple1) -> rule7)) -> rule6) OR ((((((triple2 triple1) -> rule2) triple1) -> rule7)) -> rule8) OR ((((((((triple5 triple7) -> rule1) triple1) -> rule2) triple1) -> rule7)) -> rule6) OR ((((((((triple5 triple7) -> rule1) triple1) -> rule2) triple1) -> rule7)) -> rule8))] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion visits the cow.[(triple7)] @1: The cow likes the cow.[(((triple2 triple1) -> rule2) OR ((((triple5 triple7) -> rule1) triple1) -> rule2))] The lion likes the cow.[(((triple5) -> rule3))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
((triple5 triple7) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
((((triple5) -> (rule3 % int2)) triple1) -> (rule7 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
((((triple2 triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((((triple5 triple7) -> (rule1 % int3)) triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow visits the lion.
("cow" "visits" "lion" "+")
triple4
((triple3) -> (rule6 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
((triple3) -> (rule8 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
((triple7) -> (rule5 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
((((((triple5) -> (rule3 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
((((((triple5) -> (rule3 % int3)) triple1) -> (rule7 % int2))) -> (rule8 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
((((((triple2 triple1) -> (rule2 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((triple2 triple1) -> (rule2 % int3)) triple1) -> (rule7 % int2))) -> (rule8 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((((triple5 triple7) -> (rule1 % int4)) triple1) -> (rule2 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is nice.
("cow" "is" "nice" "+")
int4
((((((((triple5 triple7) -> (rule1 % int4)) triple1) -> (rule2 % int3)) triple1) -> (rule7 % int2))) -> (rule8 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is nice.
("cow" "is" "nice" "+")
int4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion visits the cow.
("lion" "visits" "cow" "+")
triple7
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple2 triple1) -> (rule2 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
((((triple5 triple7) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
((triple5) -> (rule3 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1