The dog is not big. The dog is not cold. The dog is kind. The dog is not red. The dog is round. All round people are kind. If the dog is round then the dog is kind. If someone is cold and not round then they are big.
The dog is not big.
("dog" "is" "big" "-")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog is round.
("dog" "is" "round" "+")
All round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If the dog is round then the dog is kind.
((("dog" "is" "round" "+")) -> ("dog" "is" "kind" "+"))
If someone is cold and not round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "big" "+"))
The dog is round.
True
1
proof
[(triple5)]
("dog" "is" "round" "+")
triple5
The dog is big.
False
1
inv-proof
[(triple1)]
("dog" "is" "big" "+")
triple1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "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 kind.[(triple3 OR ((triple5) -> rule1) OR ((triple5) -> rule2))] The dog is not big.[(triple1)] The dog is not cold.[(triple2)] The dog is not red.[(triple4)] The dog is round.[(triple5)]
The dog is kind.
("dog" "is" "kind" "+")
triple3
((triple5) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
((triple5) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not big.
("dog" "is" "big" "-")
triple1
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The dog is not red.
("dog" "is" "red" "-")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5