Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is young. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is young. Kind people are quiet. Young people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Gary is kind.
True
1
proof
[(triple9)]
("Gary" "is" "kind" "+")
triple9
Anne is not nice.
False
1
inv-proof
[(triple4)]
("Anne" "is" "nice" "-")
triple4
Gary is quiet.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "quiet" "+")
((triple9) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "quiet" "-")
((triple9) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
@0: Anne is big.[(triple1 OR ((triple6) -> rule2))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6)] Gary is big.[(triple7 OR ((triple12) -> rule2))] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is rough.[(triple11)] Gary is young.[(triple12)] @1: Anne is quiet.[(((triple3) -> rule1))] Gary is quiet.[(((triple9) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple6) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
((triple12) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple9) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1