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