The dog is blue. The dog is kind. The dog is nice. The dog is round. The dog is young. If the dog is young then the dog is kind.
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
If the dog is young then the dog is kind.
((("dog" "is" "young" "+")) -> ("dog" "is" "kind" "+"))
The dog is round.
True
1
proof
[(triple4)]
("dog" "is" "round" "+")
triple4
The dog is not round.
False
1
inv-proof
[(triple4)]
("dog" "is" "round" "-")
triple4
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 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 kind.[(triple2 OR ((triple5) -> rule1))] The dog is nice.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
((triple5) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5