Bob is furry. Bob is not rough. Bob is white. Charlie is not young. Erin is rough. Erin is white. Fiona is young. If someone is cold and not red then they are young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is white.
("Bob" "is" "white" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is cold and not red then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "+"))
Bob is white.
True
1
proof
[(triple3)]
("Bob" "is" "white" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple5)]
("Erin" "is" "rough" "-")
triple5
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is furry.[(triple1)] Bob is not rough.[(triple2)] Bob is white.[(triple3)] Charlie is not young.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6)] Fiona is young.[(triple7)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Charlie is not young.
("Charlie" "is" "young" "-")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7