Gary is big. Gary is blue. Gary is quiet. Gary is red. Gary is round. Gary is young. Harry is big. Harry is quiet. Harry is red. Harry is round. Harry is white. Harry is young. If someone is quiet and white then they are blue.
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is quiet and white then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Harry is round.
True
1
proof
[(triple10)]
("Harry" "is" "round" "+")
triple10
Gary is not young.
False
1
inv-proof
[(triple6)]
("Gary" "is" "young" "-")
triple6
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is young.[(triple6)] Harry is big.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is blue.[(((triple8 triple11) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
((triple8 triple11) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1