The cat chases the rabbit. The cat is cold. The dog chases the cat. The dog chases the tiger. The dog is cold. The dog is not rough. The dog sees the cat. The dog sees the tiger. The rabbit is nice. The rabbit sees the cat. The tiger chases the dog. The tiger visits the rabbit. If someone is rough and they chase the dog then the dog is not cold. If someone visits the tiger and the tiger chases the rabbit then the tiger visits the rabbit. If someone sees the rabbit and they are not kind then the rabbit is blue. If someone sees the rabbit and they do not chase the cat then they chase the tiger. If someone sees the dog then they are not rough. If someone is blue and they visit the cat then they see the dog. If someone sees the cat then the cat chases the dog. If the rabbit sees the tiger then the tiger is rough.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is cold.
("cat" "is" "cold" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone is rough and they chase the dog then the dog is not cold.
((("someone" "is" "rough" "+") ("someone" "chases" "dog" "+")) -> ("dog" "is" "cold" "-"))
If someone visits the tiger and the tiger chases the rabbit then the tiger visits the rabbit.
((("someone" "visits" "tiger" "+") ("tiger" "chases" "rabbit" "+")) -> ("tiger" "visits" "rabbit" "+"))
If someone sees the rabbit and they are not kind then the rabbit is blue.
((("someone" "sees" "rabbit" "+") ("someone" "is" "kind" "~")) -> ("rabbit" "is" "blue" "+"))
If someone sees the rabbit and they do not chase the cat then they chase the tiger.
((("someone" "sees" "rabbit" "+") ("someone" "chases" "cat" "~")) -> ("someone" "chases" "tiger" "+"))
If someone sees the dog then they are not rough.
((("someone" "sees" "dog" "+")) -> ("someone" "is" "rough" "-"))
If someone is blue and they visit the cat then they see the dog.
((("someone" "is" "blue" "+") ("someone" "visits" "cat" "+")) -> ("someone" "sees" "dog" "+"))
If someone sees the cat then the cat chases the dog.
((("someone" "sees" "cat" "+")) -> ("cat" "chases" "dog" "+"))
If the rabbit sees the tiger then the tiger is rough.
((("rabbit" "sees" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
The cat chases the rabbit.
True
1
proof
[(triple1)]
("cat" "chases" "rabbit" "+")
triple1
The dog does not chase the tiger.
False
1
inv-proof
[(triple4)]
("dog" "chases" "tiger" "-")
triple4
The cat chases the dog.
True
2
proof
[(((triple10) -> rule7) OR ((triple7) -> rule7))]
("cat" "chases" "dog" "+")
((triple10) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
((triple7) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat does not chase the dog.
False
2
inv-proof
[(((triple10) -> rule7) OR ((triple7) -> rule7))]
("cat" "chases" "dog" "-")
((triple10) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
((triple7) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat does not chase the tiger.
Unknown
inv-rconc
[@1: The cat chases the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "chases" "tiger" "-")
The dog sees the dog.
Unknown
rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "sees" "dog" "+")
The cat does not visit the dog.
Unknown
inv-random
[@0: The cat visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "dog" "-")
The rabbit chases the dog.
Unknown
random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is cold.[(triple2)] The dog chases the cat.[(triple3)] The dog chases the tiger.[(triple4)] The dog is cold.[(triple5)] The dog is not rough.[(triple6)] The dog sees the cat.[(triple7)] The dog sees the tiger.[(triple8)] The rabbit is nice.[(triple9)] The rabbit sees the cat.[(triple10)] The tiger chases the dog.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The cat chases the dog.[(((triple10) -> rule7) OR ((triple7) -> rule7))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The dog chases the cat.
("dog" "chases" "cat" "+")
triple3
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is not rough.
("dog" "is" "rough" "-")
triple6
The dog sees the cat.
("dog" "sees" "cat" "+")
triple7
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple10
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple11
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple12
The cat chases the dog.
("cat" "chases" "dog" "+")
((triple10) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
((triple7) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1