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