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