The dog is cold. The dog is nice. The dog is young. The dog likes the rabbit. The dog needs the rabbit. The dog sees the rabbit. The rabbit needs the dog. If something is blue then it sees the rabbit. If something needs the dog then the dog is round. If something likes the rabbit and the rabbit is cold then it sees the dog.
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If something is blue then it sees the rabbit.
((("something" "is" "blue" "+")) -> ("something" "sees" "rabbit" "+"))
If something needs the dog then the dog is round.
((("something" "needs" "dog" "+")) -> ("dog" "is" "round" "+"))
If something likes the rabbit and the rabbit is cold then it sees the dog.
((("something" "likes" "rabbit" "+") ("rabbit" "is" "cold" "+")) -> ("something" "sees" "dog" "+"))
The dog sees the rabbit.
True
1
proof
[(triple6)]
("dog" "sees" "rabbit" "+")
triple6
The dog is not nice.
False
1
inv-proof
[(triple2)]
("dog" "is" "nice" "-")
triple2
The dog is round.
True
2
proof
[(((triple7) -> rule2))]
("dog" "is" "round" "+")
((triple7) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("dog" "is" "round" "-")
((triple7) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The rabbit does not see the dog.
Unknown
inv-rconc
[@1: The rabbit sees the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "dog" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit likes the dog.
Unknown
random
[@0: The rabbit likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "dog" "+")
@0: The dog is cold.[(triple1)] The dog is nice.[(triple2)] The dog is young.[(triple3)] The dog likes the rabbit.[(triple4)] The dog needs the rabbit.[(triple5)] The dog sees the rabbit.[(triple6)] The rabbit needs the dog.[(triple7)] @1: The dog is round.[(((triple7) -> rule2))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple5
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
((triple7) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1