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