The dog is blue. The dog is green. The dog is kind. The dog needs the rabbit. The dog sees the rabbit. The dog visits the rabbit. The rabbit is green. The rabbit is kind. The rabbit is round. The rabbit needs the dog. The rabbit sees the dog. The rabbit visits the dog. If the dog is green and the dog sees the rabbit then the rabbit needs the dog. If someone is kind and they visit the rabbit then they are green.
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If the dog is green and the dog sees the rabbit then the rabbit needs the dog.
((("dog" "is" "green" "+") ("dog" "sees" "rabbit" "+")) -> ("rabbit" "needs" "dog" "+"))
If someone is kind and they visit the rabbit then they are green.
((("someone" "is" "kind" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "is" "green" "+"))
The dog visits the rabbit.
True
1
proof
[(triple6)]
("dog" "visits" "rabbit" "+")
triple6
The dog is not blue.
False
1
inv-proof
[(triple1)]
("dog" "is" "blue" "-")
triple1
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 is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The dog is blue.[(triple1)] The dog is green.[(triple2 OR ((triple3 triple6) -> rule2))] The dog is kind.[(triple3)] The dog needs the rabbit.[(triple4)] The dog sees the rabbit.[(triple5)] The dog visits the rabbit.[(triple6)] The rabbit is green.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the dog.[(triple10 OR ((triple2 triple5) -> rule1) OR ((((triple3 triple6) -> rule2) triple5) -> rule1))] The rabbit sees the dog.[(triple11)] The rabbit visits the dog.[(triple12)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
((triple3 triple6) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple4
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple5
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple10
((triple2 triple5) -> (rule1 % int1))
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int1
((((triple3 triple6) -> (rule2 % int2)) triple5) -> (rule1 % int1))
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12