The dog is round. If something is blue then it is young. If the dog is blue and the dog is young then the dog is kind. If the dog is not young then the dog is kind.
The dog is round.
("dog" "is" "round" "+")
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If the dog is blue and the dog is young then the dog is kind.
((("dog" "is" "blue" "+") ("dog" "is" "young" "+")) -> ("dog" "is" "kind" "+"))
If the dog is not young then the dog is kind.
((("dog" "is" "young" "~")) -> ("dog" "is" "kind" "+"))
The dog is round.
True
1
proof
[(triple1)]
("dog" "is" "round" "+")
triple1
The dog is not round.
False
1
inv-proof
[(triple1)]
("dog" "is" "round" "-")
triple1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is round.[(triple1)]
The dog is round.
("dog" "is" "round" "+")
triple1