The dog is blue. The dog is nice. The dog is red. The dog is rough. The dog is round. Rough things are blue. Rough, round things are blue.
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
Rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Rough, round things are blue.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
The dog is round.
True
1
proof
[(triple5)]
("dog" "is" "round" "+")
triple5
The dog is not red.
False
1
inv-proof
[(triple3)]
("dog" "is" "red" "-")
triple3
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "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) -> rule1) OR ((triple4 triple5) -> rule2))] The dog is nice.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
((triple4) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((triple4 triple5) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5