The dog chases the rabbit. The dog sees the rabbit. The rabbit is young. If someone chases the rabbit and they see the rabbit then they are round. If the dog sees the rabbit and the rabbit is cold then the dog is big. If someone sees the rabbit and the rabbit is big then the rabbit is cold.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If someone chases the rabbit and they see the rabbit then they are round.
((("someone" "chases" "rabbit" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If the dog sees the rabbit and the rabbit is cold then the dog is big.
((("dog" "sees" "rabbit" "+") ("rabbit" "is" "cold" "+")) -> ("dog" "is" "big" "+"))
If someone sees the rabbit and the rabbit is big then the rabbit is cold.
((("someone" "sees" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("rabbit" "is" "cold" "+"))
The dog chases the rabbit.
True
1
proof
[(triple1)]
("dog" "chases" "rabbit" "+")
triple1
The rabbit is not young.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "young" "-")
triple3
The dog is round.
True
3
proof
[(((triple1 triple2) -> rule1))]
("dog" "is" "round" "+")
((triple1 triple2) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("dog" "is" "round" "-")
((triple1 triple2) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The rabbit is not cold.
Unknown
inv-rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "cold" "-")
The dog is big.
Unknown
rconc
[@2: The dog is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("dog" "is" "big" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog chases the rabbit.[(triple1)] The dog sees the rabbit.[(triple2)] The rabbit is young.[(triple3)] @1: The dog is round.[(((triple1 triple2) -> rule1))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
((triple1 triple2) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1