Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is round. Gary is white. Gary is young. Harry is cold. Harry is kind. Harry is quiet. Harry is round. Harry is young. Quiet, kind people are white. All cold people are green.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Quiet, kind people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
All cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Gary is not round.
False
1
inv-proof
[(triple5)]
("Gary" "is" "round" "-")
triple5
Harry is white.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "white" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not white.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "white" "-")
((triple10 triple9) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
@0: Gary is cold.[(triple1)] Gary is green.[(triple2 OR ((triple1) -> rule2))] Gary is kind.[(triple3)] Gary is quiet.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6 OR ((triple4 triple3) -> rule1))] Gary is young.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Harry is green.[(((triple8) -> rule2))] Harry is white.[(((triple10 triple9) -> rule1))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
((triple1) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
((triple4 triple3) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
((triple8) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1