Anne is quiet. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Gary is blue. Gary is furry. Gary is kind. Harry is nice. Harry is quiet. All green people are blue. If Harry is nice and Harry is quiet then Harry is blue. All blue, furry people are green. If Dave is kind and Dave is nice then Dave is young. If someone is green then they are young. If Gary is young and Gary is blue then Gary is green.
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If Harry is nice and Harry is quiet then Harry is blue.
((("Harry" "is" "nice" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "blue" "+"))
All blue, furry people are green.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If Dave is kind and Dave is nice then Dave is young.
((("Dave" "is" "kind" "+") ("Dave" "is" "nice" "+")) -> ("Dave" "is" "young" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If Gary is young and Gary is blue then Gary is green.
((("Gary" "is" "young" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "green" "+"))
Harry is nice.
True
1
proof
[(triple9)]
("Harry" "is" "nice" "+")
triple9
Gary is not blue.
False
1
inv-proof
[(triple6)]
("Gary" "is" "blue" "-")
triple6
Dave is blue.
True
2
proof
[(((triple2) -> rule1))]
("Dave" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("Gary" "is" "green" "-")
((triple6 triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is young.
Unknown
rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Anne" "is" "young" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is quiet.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10)] @1: Dave is blue.[(((triple2) -> rule1))] Dave is young.[(((triple2) -> rule5) OR ((triple3 triple4) -> rule4))] Gary is green.[(((triple6 triple7) -> rule3))] Harry is blue.[(((triple9 triple10) -> rule2))] @2: Gary is young.[(((((triple6 triple7) -> rule3)) -> rule5))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple2) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple3 triple4) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple9 triple10) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2