The dog is blue. The dog is cold. The dog is rough. The dog is not round. The dog is young. All cold, blue things are rough. If the dog is cold and the dog is not young then the dog is rough. Rough things are not round.
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog is young.
("dog" "is" "young" "+")
All cold, blue things are rough.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If the dog is cold and the dog is not young then the dog is rough.
((("dog" "is" "cold" "+") ("dog" "is" "young" "~")) -> ("dog" "is" "rough" "+"))
Rough things are not round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "-"))
The dog is blue.
True
1
proof
[(triple1)]
("dog" "is" "blue" "+")
triple1
The dog is not young.
False
1
inv-proof
[(triple5)]
("dog" "is" "young" "-")
triple5
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
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 blue.[(triple1)] The dog is cold.[(triple2)] The dog is not round.[(triple4 OR ((triple3) -> rule3) OR ((((triple2 triple1) -> rule1)) -> rule3))] The dog is rough.[(triple3 OR ((triple2 triple1) -> rule1))] The dog is young.[(triple5)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is not round.
("dog" "is" "round" "-")
triple4
((triple3) -> (rule3 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
((((triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
triple3
((triple2 triple1) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is young.
("dog" "is" "young" "+")
triple5