The dog is big. The dog needs the rabbit. The dog sees the rabbit. The rabbit does not chase the dog. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is young. The rabbit needs the dog. The rabbit does not see the dog. If someone chases the dog then the dog is young. If someone needs the rabbit and the rabbit does not see the dog then the dog needs the rabbit. If the dog sees the rabbit then the dog is cold. If someone chases the dog and the dog needs the rabbit then they need the rabbit. If someone chases the rabbit then they are not big. If someone chases the rabbit then the rabbit is big.
The dog is big.
("dog" "is" "big" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit does not see the dog.
("rabbit" "sees" "dog" "-")
If someone chases the dog then the dog is young.
((("someone" "chases" "dog" "+")) -> ("dog" "is" "young" "+"))
If someone needs the rabbit and the rabbit does not see the dog then the dog needs the rabbit.
((("someone" "needs" "rabbit" "+") ("rabbit" "sees" "dog" "~")) -> ("dog" "needs" "rabbit" "+"))
If the dog sees the rabbit then the dog is cold.
((("dog" "sees" "rabbit" "+")) -> ("dog" "is" "cold" "+"))
If someone chases the dog and the dog needs the rabbit then they need the rabbit.
((("someone" "chases" "dog" "+") ("dog" "needs" "rabbit" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone chases the rabbit then they are not big.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "big" "-"))
If someone chases the rabbit then the rabbit is big.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
The rabbit is big.
True
1
proof
[(triple5)]
("rabbit" "is" "big" "+")
triple5
The dog does not see the rabbit.
False
1
inv-proof
[(triple3)]
("dog" "sees" "rabbit" "-")
triple3
The dog is cold.
True
2
proof
[(((triple3) -> rule3))]
("dog" "is" "cold" "+")
((triple3) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
2
inv-proof
[(((triple3) -> rule3))]
("dog" "is" "cold" "-")
((triple3) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The dog chases the rabbit.
Unknown
random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "+")
@0: The dog is big.[(triple1)] The dog needs the rabbit.[(triple2)] The dog sees the rabbit.[(triple3)] The rabbit does not chase the dog.[(triple4)] The rabbit does not see the dog.[(triple10)] The rabbit is big.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is young.[(triple8)] The rabbit needs the dog.[(triple9)] @1: The dog is cold.[(((triple3) -> rule3))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple3
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
triple4
The rabbit does not see the dog.
("rabbit" "sees" "dog" "-")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
((triple3) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1