The dog chases the rabbit. The dog is big. The dog is red. The dog is round. The dog likes the rabbit. The dog needs the rabbit. The rabbit chases the dog. The rabbit is big. The rabbit is kind. The rabbit is round. The rabbit likes the dog. The rabbit needs the dog. If something chases the dog then the dog is kind. If something likes the rabbit and the rabbit likes the dog then the dog needs the rabbit. If something needs the rabbit and it likes the dog then it chases the rabbit. If something is red then it chases the rabbit. If something likes the rabbit then it chases the rabbit. If something chases the dog and the dog is cold then the dog chases the rabbit.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If something chases the dog then the dog is kind.
((("something" "chases" "dog" "+")) -> ("dog" "is" "kind" "+"))
If something likes the rabbit and the rabbit likes the dog then the dog needs the rabbit.
((("something" "likes" "rabbit" "+") ("rabbit" "likes" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
If something needs the rabbit and it likes the dog then it chases the rabbit.
((("something" "needs" "rabbit" "+") ("something" "likes" "dog" "+")) -> ("something" "chases" "rabbit" "+"))
If something is red then it chases the rabbit.
((("something" "is" "red" "+")) -> ("something" "chases" "rabbit" "+"))
If something likes the rabbit then it chases the rabbit.
((("something" "likes" "rabbit" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the dog and the dog is cold then the dog chases the rabbit.
((("something" "chases" "dog" "+") ("dog" "is" "cold" "+")) -> ("dog" "chases" "rabbit" "+"))
The dog is round.
True
1
proof
[(triple4)]
("dog" "is" "round" "+")
triple4
The rabbit does not like the dog.
False
1
inv-proof
[(triple11)]
("rabbit" "likes" "dog" "-")
triple11
The dog is kind.
True
2
proof
[(((triple7) -> rule1))]
("dog" "is" "kind" "+")
((triple7) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple7) -> rule1))]
("dog" "is" "kind" "-")
((triple7) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The dog chases the rabbit.[(triple1 OR ((triple3) -> rule4) OR ((triple5) -> rule5))] The dog is big.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog likes the rabbit.[(triple5)] The dog needs the rabbit.[(triple6 OR ((triple5 triple11) -> rule2))] The rabbit chases the dog.[(triple7)] The rabbit is big.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the dog.[(triple12)] @1: The dog is kind.[(((triple7) -> rule1))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
((triple3) -> (rule4 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
((triple5) -> (rule5 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple5
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
((triple5 triple11) -> (rule2 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple11
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
((triple7) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1