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