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