Gary is cold. Gary is rough. Gary is white. Gary is young. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is white. Harry is young. Kind, red people are quiet. All red people are kind. If Harry is red and Harry is rough then Harry is kind. If someone is kind and rough then they are red. If Gary is quiet then Gary is white. All rough, young people are kind.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
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 red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Kind, red people are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If Harry is red and Harry is rough then Harry is kind.
((("Harry" "is" "red" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "kind" "+"))
If someone is kind and rough then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If Gary is quiet then Gary is white.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "white" "+"))
All rough, young people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Harry is not white.
False
1
inv-proof
[(triple9)]
("Harry" "is" "white" "-")
triple9
Gary is kind.
True
3
proof
[(((triple2 triple4) -> rule6))]
("Gary" "is" "kind" "+")
((triple2 triple4) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple2 triple4) -> rule6))]
("Gary" "is" "kind" "-")
((triple2 triple4) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
True
5
proof
[(((((triple2 triple4) -> rule6) triple2) -> rule4))]
("Gary" "is" "red" "+")
((((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not red.
False
5
inv-proof
[(((((triple2 triple4) -> rule6) triple2) -> rule4))]
("Gary" "is" "red" "-")
((((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
True
9
proof
[(((((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule4)) -> rule1))]
("Gary" "is" "quiet" "+")
((((triple2 triple4) -> (rule6 % int3)) ((((triple2 triple4) -> (rule6 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not quiet.
False
9
inv-proof
[(((((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule4)) -> rule1))]
("Gary" "is" "quiet" "-")
((((triple2 triple4) -> (rule6 % int3)) ((((triple2 triple4) -> (rule6 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
@0: Gary is cold.[(triple1)] Gary is rough.[(triple2)] Gary is white.[(triple3 OR ((((((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule4)) -> rule1)) -> rule5))] Gary is young.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple6 OR ((triple8) -> rule2))] Harry is quiet.[(triple7 OR ((triple6 triple8) -> rule1) OR ((((triple8) -> rule2) triple8) -> rule1))] Harry is red.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Gary is kind.[(((triple2 triple4) -> rule6))] @2: Gary is red.[(((((triple2 triple4) -> rule6) triple2) -> rule4))] @3: Gary is quiet.[(((((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule4)) -> rule1))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
((((((triple2 triple4) -> (rule6 % int4)) ((((triple2 triple4) -> (rule6 % int4)) triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
((triple8) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
((triple6 triple8) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
((triple2 triple4) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple2 triple4) -> (rule6 % int3)) ((((triple2 triple4) -> (rule6 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3