The dog is big. The dog is blue. The dog is cold. The dog is green. The dog is nice. Blue, nice people are cold.
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
Blue, nice people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
The dog is blue.
True
1
proof
[(triple2)]
("dog" "is" "blue" "+")
triple2
The dog is not cold.
False
1
inv-proof
[(triple3 OR ((triple2 triple5) -> rule1))]
("dog" "is" "cold" "-")
triple3
((triple2 triple5) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3 OR ((triple2 triple5) -> rule1))] The dog is green.[(triple4)] The dog is nice.[(triple5)]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
((triple2 triple5) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5