Anne is blue. Anne is furry. Anne is nice. Anne is rough. Anne is young. Dave is furry. Dave is not red. Dave is young. Fiona is red. Fiona is young. All nice people are rough. If someone is nice then they are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not rough.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule1))]
("Anne" "is" "rough" "-")
triple4
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule1))] Anne is young.[(triple5)] Dave is furry.[(triple6)] Dave is not red.[(triple7)] Dave is young.[(triple8)] Fiona is red.[(triple9)] Fiona is young.[(triple10)] @1: Anne is red.[(((triple3) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is not red.
("Dave" "is" "red" "-")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Anne is red.
("Anne" "is" "red" "+")
((triple3) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1