The dog is kind. The dog is nice. The dog is red. The dog is round. The dog is young. The dog likes the tiger. The dog sees the tiger. The dog visits the tiger. The tiger is kind. The tiger is nice. The tiger is red. The tiger is young. The tiger likes the dog. The tiger sees the dog. The tiger visits the dog. If someone likes the dog then they visit the dog. If someone visits the tiger and they visit the dog then the tiger likes the dog. If someone visits the dog then the dog visits the tiger. If someone is kind and they see the dog then they are round. If the tiger likes the dog then the dog likes the tiger. If someone is round then they like the tiger.
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone likes the dog then they visit the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the tiger and they visit the dog then the tiger likes the dog.
((("someone" "visits" "tiger" "+") ("someone" "visits" "dog" "+")) -> ("tiger" "likes" "dog" "+"))
If someone visits the dog then the dog visits the tiger.
((("someone" "visits" "dog" "+")) -> ("dog" "visits" "tiger" "+"))
If someone is kind and they see the dog then they are round.
((("someone" "is" "kind" "+") ("someone" "sees" "dog" "+")) -> ("someone" "is" "round" "+"))
If the tiger likes the dog then the dog likes the tiger.
((("tiger" "likes" "dog" "+")) -> ("dog" "likes" "tiger" "+"))
If someone is round then they like the tiger.
((("someone" "is" "round" "+")) -> ("someone" "likes" "tiger" "+"))
The tiger is young.
True
1
proof
[(triple12)]
("tiger" "is" "young" "+")
triple12
The tiger is not young.
False
1
inv-proof
[(triple12)]
("tiger" "is" "young" "-")
triple12
The tiger is round.
True
3
proof
[(((triple9 triple14) -> rule4))]
("tiger" "is" "round" "+")
((triple9 triple14) -> (rule4 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is not round.
False
3
inv-proof
[(((triple9 triple14) -> rule4))]
("tiger" "is" "round" "-")
((triple9 triple14) -> (rule4 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger likes the tiger.
True
4
proof
[(((((triple9 triple14) -> rule4)) -> rule6))]
("tiger" "likes" "tiger" "+")
((((triple9 triple14) -> (rule4 % int2))) -> (rule6 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger does not like the tiger.
False
4
inv-proof
[(((((triple9 triple14) -> rule4)) -> rule6))]
("tiger" "likes" "tiger" "-")
((((triple9 triple14) -> (rule4 % int2))) -> (rule6 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is kind.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)] The dog likes the tiger.[(triple6 OR ((triple13) -> rule5) OR ((triple4) -> rule6))] The dog sees the tiger.[(triple7)] The dog visits the tiger.[(triple8 OR ((triple15) -> rule3) OR ((((triple13) -> rule1)) -> rule3))] The tiger is kind.[(triple9)] The tiger is nice.[(triple10)] The tiger is red.[(triple11)] The tiger is young.[(triple12)] The tiger likes the dog.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the dog.[(triple15 OR ((triple13) -> rule1))] @1: The tiger is round.[(((triple9 triple14) -> rule4))] @2: The tiger likes the tiger.[(((((triple9 triple14) -> rule4)) -> rule6))]
The dog is kind.
("dog" "is" "kind" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple6
((triple13) -> (rule5 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1
((triple4) -> (rule6 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple7
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple8
((triple15) -> (rule3 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
((((triple13) -> (rule1 % int2))) -> (rule3 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple13
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple14
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple15
((triple13) -> (rule1 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((triple9 triple14) -> (rule4 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple9 triple14) -> (rule4 % int2))) -> (rule6 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2