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