The dog chases the lion. The dog is blue. The dog is nice. The dog visits the lion. The lion chases the dog. The lion chases the rabbit. The lion is blue. The lion is nice. The lion needs the dog. The lion needs the rabbit. The lion visits the dog. The rabbit is kind. The rabbit is round. The rabbit needs the lion. The rabbit visits the lion. If someone is kind then they need the lion. If the lion needs the dog and the lion is nice then the lion is round. If someone visits the rabbit then the rabbit chases the lion. If someone visits the dog then the dog chases the rabbit. If someone is big and they chase the rabbit then they chase the lion. If someone is big and they chase the dog then the dog is kind. If someone is round and they visit the dog then they are kind. If the dog needs the lion and the dog needs the rabbit then the rabbit chases the lion.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone is kind then they need the lion.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "lion" "+"))
If the lion needs the dog and the lion is nice then the lion is round.
((("lion" "needs" "dog" "+") ("lion" "is" "nice" "+")) -> ("lion" "is" "round" "+"))
If someone visits the rabbit then the rabbit chases the lion.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "chases" "lion" "+"))
If someone visits the dog then the dog chases the rabbit.
((("someone" "visits" "dog" "+")) -> ("dog" "chases" "rabbit" "+"))
If someone is big and they chase the rabbit then they chase the lion.
((("someone" "is" "big" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "chases" "lion" "+"))
If someone is big and they chase the dog then the dog is kind.
((("someone" "is" "big" "+") ("someone" "chases" "dog" "+")) -> ("dog" "is" "kind" "+"))
If someone is round and they visit the dog then they are kind.
((("someone" "is" "round" "+") ("someone" "visits" "dog" "+")) -> ("someone" "is" "kind" "+"))
If the dog needs the lion and the dog needs the rabbit then the rabbit chases the lion.
((("dog" "needs" "lion" "+") ("dog" "needs" "rabbit" "+")) -> ("rabbit" "chases" "lion" "+"))
The dog visits the lion.
True
1
proof
[(triple4)]
("dog" "visits" "lion" "+")
triple4
The dog does not visit the lion.
False
1
inv-proof
[(triple4)]
("dog" "visits" "lion" "-")
triple4
The dog chases the rabbit.
True
2
proof
[(((triple11) -> rule4))]
("dog" "chases" "rabbit" "+")
((triple11) -> (rule4 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The lion is not round.
False
3
inv-proof
[(((triple9 triple8) -> rule2))]
("lion" "is" "round" "-")
((triple9 triple8) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is kind.
True
5
proof
[(((((triple9 triple8) -> rule2) triple11) -> rule7))]
("lion" "is" "kind" "+")
((((triple9 triple8) -> (rule2 % int2)) triple11) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is not kind.
False
5
inv-proof
[(((((triple9 triple8) -> rule2) triple11) -> rule7))]
("lion" "is" "kind" "-")
((((triple9 triple8) -> (rule2 % int2)) triple11) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion needs the lion.
True
6
proof
[(((((((triple9 triple8) -> rule2) triple11) -> rule7)) -> rule1))]
("lion" "needs" "lion" "+")
((((((triple9 triple8) -> (rule2 % int3)) triple11) -> (rule7 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion does not need the lion.
False
6
inv-proof
[(((((((triple9 triple8) -> rule2) triple11) -> rule7)) -> rule1))]
("lion" "needs" "lion" "-")
((((((triple9 triple8) -> (rule2 % int3)) triple11) -> (rule7 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit does not chase the lion.
Unknown
inv-rconc
[@1: The rabbit chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "chases" "lion" "+")
The dog does not need the lion.
Unknown
inv-rconc
[@2: The dog needs the lion.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("dog" "needs" "lion" "-")
The dog is kind.
Unknown
rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "kind" "+")
The rabbit does not chase the dog.
Unknown
inv-random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The dog needs the rabbit.
Unknown
random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "+")
@0: The dog chases the lion.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog visits the lion.[(triple4)] The lion chases the dog.[(triple5)] The lion chases the rabbit.[(triple6)] The lion is blue.[(triple7)] The lion is nice.[(triple8)] The lion needs the dog.[(triple9)] The lion needs the rabbit.[(triple10)] The lion visits the dog.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the lion.[(triple14 OR ((triple12) -> rule1))] The rabbit visits the lion.[(triple15)] @1: The dog chases the rabbit.[(((triple11) -> rule4))] The lion is round.[(((triple9 triple8) -> rule2))] @2: The lion is kind.[(((((triple9 triple8) -> rule2) triple11) -> rule7))] @3: The lion needs the lion.[(((((((triple9 triple8) -> rule2) triple11) -> rule7)) -> rule1))]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog visits the lion.
("dog" "visits" "lion" "+")
triple4
The lion chases the dog.
("lion" "chases" "dog" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion needs the dog.
("lion" "needs" "dog" "+")
triple9
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple10
The lion visits the dog.
("lion" "visits" "dog" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple14
((triple12) -> (rule1 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple15
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
((triple11) -> (rule4 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((triple9 triple8) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((((triple9 triple8) -> (rule2 % int2)) triple11) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
((((((triple9 triple8) -> (rule2 % int3)) triple11) -> (rule7 % int2))) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3