Gary is cold. Gary is round. Gary is smart. Harry is cold. Harry is furry. Harry is red. Harry is round. Harry is smart. Harry is white. Harry is young. White things are red. Smart things are furry. Furry, round things are white.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
White things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Furry, round things are white.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Harry is round.
True
1
proof
[(triple7)]
("Harry" "is" "round" "+")
triple7
Gary is not round.
False
1
inv-proof
[(triple2)]
("Gary" "is" "round" "-")
triple2
Gary is furry.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "furry" "-")
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
True
4
proof
[(((((triple3) -> rule2) triple2) -> rule3))]
("Gary" "is" "white" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not white.
False
4
inv-proof
[(((((triple3) -> rule2) triple2) -> rule3))]
("Gary" "is" "white" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
True
5
proof
[(((((((triple3) -> rule2) triple2) -> rule3)) -> rule1))]
("Gary" "is" "red" "+")
((((((triple3) -> (rule2 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is not red.
False
5
inv-proof
[(((((((triple3) -> rule2) triple2) -> rule3)) -> rule1))]
("Gary" "is" "red" "-")
((((((triple3) -> (rule2 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
@0: Gary is cold.[(triple1)] Gary is round.[(triple2)] Gary is smart.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5 OR ((triple8) -> rule2))] Harry is red.[(triple6 OR ((triple9) -> rule1) OR ((((triple5 triple7) -> rule3)) -> rule1) OR ((((((triple8) -> rule2) triple7) -> rule3)) -> rule1))] Harry is round.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9 OR ((triple5 triple7) -> rule3) OR ((((triple8) -> rule2) triple7) -> rule3))] Harry is young.[(triple10)] @1: Gary is furry.[(((triple3) -> rule2))] @2: Gary is white.[(((((triple3) -> rule2) triple2) -> rule3))] @3: Gary is red.[(((((((triple3) -> rule2) triple2) -> rule3)) -> rule1))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is round.
("Gary" "is" "round" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
((triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple6
((triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple5 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple8) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is smart.
("Harry" "is" "smart" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
((triple5 triple7) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple8) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((((triple3) -> (rule2 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3