Anne is young. Charlie is big. Erin is kind. Fiona is kind. If someone is rough and kind then they are big. All young, cold people are rough. If Fiona is young then Fiona is cold. If someone is blue then they are cold. If someone is big then they are young. If Anne is rough and Anne is big then Anne is young. If someone is big then they are kind. All rough, cold people are kind.
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All young, cold people are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is young then Fiona is cold.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "cold" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If Anne is rough and Anne is big then Anne is young.
((("Anne" "is" "rough" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "young" "+"))
If someone is big then they are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All rough, cold people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Fiona is not kind.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "kind" "-")
triple4
Erin is not young.
Unknown
inv-rconc
[@3: Erin is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is young.[(triple1)] Charlie is big.[(triple2)] Erin is kind.[(triple3)] Fiona is kind.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule7))] Charlie is young.[(((triple2) -> rule5))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1