The dog is blue. The dog is rough. The dog is round. If something is rough then it is blue. All blue things are rough. If something is round then it is rough.
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
If something is rough then it is blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
The dog is blue.
True
1
proof
[(triple1 OR ((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))]
("dog" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is not blue.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))]
("dog" "is" "blue" "-")
triple1
((triple2) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The dog is blue.[(triple1 OR ((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The dog is rough.[(triple2 OR ((triple1) -> rule2) OR ((triple3) -> rule3))] The dog is round.[(triple3)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
triple2
((triple1) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((triple3) -> (rule3 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
triple3