Charlie is furry. Charlie is smart. Dave is nice. Fiona is blue. Fiona is green. Fiona is nice. Gary is furry. If something is blue then it is rough. If something is furry and nice then it is rough.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is furry and nice then it is rough.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Gary is furry.
True
1
proof
[(triple7)]
("Gary" "is" "furry" "+")
triple7
Fiona is not nice.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "nice" "-")
triple6
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is furry.[(triple1)] Charlie is smart.[(triple2)] Dave is nice.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Gary is furry.[(triple7)] @1: Fiona is rough.[(((triple4) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1