The dog is blue. The dog is cold. The dog is green. The dog is red. The dog is young. If something is cold and green then it is red. Red things are blue.
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
If something is cold and green then it is red.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
The dog is green.
True
1
proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The dog is not cold.
False
1
inv-proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog is blue.[(triple1 OR ((triple4) -> rule2) OR ((((triple2 triple3) -> rule1)) -> rule2))] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is red.[(triple4 OR ((triple2 triple3) -> rule1))] The dog is young.[(triple5)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
((triple4) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
((triple2 triple3) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is young.
("dog" "is" "young" "+")
triple5