The dog is kind. Round people are big. If the dog is blue and the dog is kind then the dog is young. Young, kind people are round.
The dog is kind.
("dog" "is" "kind" "+")
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If the dog is blue and the dog is kind then the dog is young.
((("dog" "is" "blue" "+") ("dog" "is" "kind" "+")) -> ("dog" "is" "young" "+"))
Young, kind people are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
The dog is kind.
True
1
proof
[(triple1)]
("dog" "is" "kind" "+")
triple1
The dog is not kind.
False
1
inv-proof
[(triple1)]
("dog" "is" "kind" "-")
triple1
The dog is not round.
Unknown
inv-rconc
[@2: The dog is round.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("dog" "is" "round" "-")
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 kind.[(triple1)]
The dog is kind.
("dog" "is" "kind" "+")
triple1