The dog is rough. If the dog is rough then the dog is green. Round, blue things are green. If the dog is blue and the dog is green then the dog is round. If something is blue and rough then it is green. All blue, rough things are round. All rough, green things are nice.
The dog is rough.
("dog" "is" "rough" "+")
If the dog is rough then the dog is green.
((("dog" "is" "rough" "+")) -> ("dog" "is" "green" "+"))
Round, blue things are green.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If the dog is blue and the dog is green then the dog is round.
((("dog" "is" "blue" "+") ("dog" "is" "green" "+")) -> ("dog" "is" "round" "+"))
If something is blue and rough then it is green.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All blue, rough things are round.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
All rough, green things are nice.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
The dog is rough.
True
1
proof
[(triple1)]
("dog" "is" "rough" "+")
triple1
The dog is not rough.
False
1
inv-proof
[(triple1)]
("dog" "is" "rough" "-")
triple1
The dog is green.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "green" "+")
((triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "green" "-")
((triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule3 <- 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" "+")
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 is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog is rough.[(triple1)] @1: The dog is green.[(((triple1) -> rule1))] @2: The dog is nice.[(((triple1 ((triple1) -> rule1)) -> rule6))]
The dog is rough.
("dog" "is" "rough" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
((triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2