The dog is blue. The dog is green. The dog is nice. The dog is not red. The dog is round. If someone is red then they are green. If the dog is not red then the dog is blue.
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog is round.
("dog" "is" "round" "+")
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If the dog is not red then the dog is blue.
((("dog" "is" "red" "~")) -> ("dog" "is" "blue" "+"))
The dog is not red.
True
1
proof
[(triple4)]
("dog" "is" "red" "-")
triple4
The dog is not round.
False
1
inv-proof
[(triple5)]
("dog" "is" "round" "-")
triple5
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 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 OR ((triple4) -> rule2))] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog is not red.[(triple4)] The dog is round.[(triple5)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
((triple4) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is not red.
("dog" "is" "red" "-")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5