Bob is cold. Erin is furry. Fiona is green. Gary is cold. If someone is white then they are cold. If Fiona is smart then Fiona is green. Smart people are green. If Fiona is cold then Fiona is not furry. If someone is big and cold then they are young. If someone is green and not furry then they are big.
Bob is cold.
("Bob" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is smart then Fiona is green.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "green" "+"))
Smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If Fiona is cold then Fiona is not furry.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "furry" "-"))
If someone is big and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green and not furry then they are big.
((("someone" "is" "green" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "big" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Erin is not young.
Unknown
inv-rconc
[@2: Erin is young.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Erin" "is" "young" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is cold.[(triple1)] Erin is furry.[(triple2)] Fiona is green.[(triple3)] Gary is cold.[(triple4)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4