Erin is big. Erin is furry. Gary is nice. Gary is quiet. Harry is nice. Harry is white. Harry is young. All nice, white people are furry. If Gary is quiet then Gary is young.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All nice, white people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Gary is quiet then Gary is young.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "young" "+"))
Gary is quiet.
True
1
proof
[(triple4)]
("Gary" "is" "quiet" "+")
triple4
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Gary is young.
True
2
proof
[(((triple4) -> rule2))]
("Gary" "is" "young" "+")
((triple4) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple4) -> rule2))]
("Gary" "is" "young" "-")
((triple4) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4)] Harry is nice.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Gary is young.[(((triple4) -> rule2))] Harry is furry.[(((triple5 triple6) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is white.
("Harry" "is" "white" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
((triple4) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple5 triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1