Charlie is blue. Erin is furry. Gary is quiet. Harry is nice. Young, furry people are white. If someone is blue then they are green. If someone is young and furry then they are nice. If Charlie is green and Charlie is white then Charlie is nice. If someone is nice and quiet then they are young. If someone is young then they are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Young, furry people are white.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is young and furry then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If Charlie is green and Charlie is white then Charlie is nice.
((("Charlie" "is" "green" "+") ("Charlie" "is" "white" "+")) -> ("Charlie" "is" "nice" "+"))
If someone is nice and quiet then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is blue.[(triple1)] Erin is furry.[(triple2)] Gary is quiet.[(triple3)] Harry is nice.[(triple4)] @1: Charlie is green.[(((triple1) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1