Dave is furry. Dave is green. Gary is big. Gary is quiet. Gary is young. Harry is big. Harry is blue. Harry is not cold. Harry is quiet. Harry is not young. All furry people are not quiet. If someone is green and not blue then they are quiet. All green people are young.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not young.
("Harry" "is" "young" "-")
All furry people are not quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "-"))
If someone is green and not blue then they are quiet.
((("someone" "is" "green" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "quiet" "+"))
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple5)]
("Gary" "is" "young" "+")
triple5
Gary is not quiet.
False
1
inv-proof
[(triple4)]
("Gary" "is" "quiet" "-")
triple4
Dave is not quiet.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Gary is big.[(triple3)] Gary is quiet.[(triple4)] Gary is young.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is not cold.[(triple8)] Harry is not young.[(triple10)] Harry is quiet.[(triple9)] @1: Dave is not quiet.[(((triple1) -> rule1))] Dave is young.[(((triple2) -> rule3))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is not cold.
("Harry" "is" "cold" "-")
triple8
Harry is not young.
("Harry" "is" "young" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Dave is not quiet.
("Dave" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple2) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1