The dog is blue. The dog is green. The dog is red. The dog is rough. The dog is round. If someone is round then they are red. If the dog is red then the dog is green. If the dog is red and the dog is blue then the dog is round. Red, blue people are round. If someone is rough and green then they are round. Blue, rough people are red.
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If the dog is red then the dog is green.
((("dog" "is" "red" "+")) -> ("dog" "is" "green" "+"))
If the dog is red and the dog is blue then the dog is round.
((("dog" "is" "red" "+") ("dog" "is" "blue" "+")) -> ("dog" "is" "round" "+"))
Red, blue people are round.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Blue, rough people are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
The dog is rough.
True
1
proof
[(triple4)]
("dog" "is" "rough" "+")
triple4
The dog is not green.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple1 triple4) -> rule6)) -> rule2))]
("dog" "is" "green" "-")
triple2
((triple3) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple1 triple4) -> (rule6 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is blue.[(triple1)] The dog is green.[(triple2 OR ((triple3) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple1 triple4) -> rule6)) -> rule2))] The dog is red.[(triple3 OR ((triple5) -> rule1) OR ((triple1 triple4) -> rule6) OR ((((triple4 triple2) -> rule5)) -> rule1))] The dog is rough.[(triple4)] The dog is round.[(triple5 OR ((triple3 triple1) -> rule3) OR ((triple3 triple1) -> rule4) OR ((triple4 triple2) -> rule5) OR ((triple4 ((triple3) -> rule2)) -> rule5) OR ((((triple1 triple4) -> rule6) triple1) -> rule3) OR ((((triple1 triple4) -> rule6) triple1) -> rule4) OR ((triple4 ((((triple1 triple4) -> rule6)) -> rule2)) -> rule5))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
((triple3) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple1 triple4) -> (rule6 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is red.
("dog" "is" "red" "+")
triple3
((triple5) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((triple1 triple4) -> (rule6 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((((triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
((triple3 triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple3 triple1) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple4 triple2) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple4 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
((((triple1 triple4) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple1 triple4) -> (rule6 % int2)) triple1) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((triple4 ((((triple1 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3