Gary is blue. Gary is cold. Gary is green. Gary is rough. Gary is round. Gary is white. Gary is young. Harry is blue. Harry is cold. Harry is green. Harry is rough. Harry is round. Green, cold people are blue. All green people are young. All young, round people are white. All white people are cold. All cold people are round. All white people are round.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Green, cold people are blue.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
All young, round people are white.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All white people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Harry is rough.
True
1
proof
[(triple11)]
("Harry" "is" "rough" "+")
triple11
Harry is not blue.
False
1
inv-proof
[(triple8 OR ((triple10 triple9) -> rule1) OR ((triple10 ((((((triple10) -> rule2) triple12) -> rule3)) -> rule4)) -> rule1))]
("Harry" "is" "blue" "-")
triple8
((triple10 triple9) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple10 ((((((triple10) -> (rule2 % int4)) triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is young.
True
2
proof
[(((triple10) -> rule2))]
("Harry" "is" "young" "+")
((triple10) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple10) -> rule2))]
("Harry" "is" "young" "-")
((triple10) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
True
4
proof
[(((((triple10) -> rule2) triple12) -> rule3) OR ((((triple10) -> rule2) ((triple9) -> rule5)) -> rule3))]
("Harry" "is" "white" "+")
((((triple10) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple10) -> (rule2 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not white.
False
4
inv-proof
[(((((triple10) -> rule2) triple12) -> rule3) OR ((((triple10) -> rule2) ((triple9) -> rule5)) -> rule3))]
("Harry" "is" "white" "-")
((((triple10) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple10) -> (rule2 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
@0: Gary is blue.[(triple1 OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple6) -> rule4)) -> rule1) OR ((triple3 ((((triple7 triple5) -> rule3)) -> rule4)) -> rule1) OR ((triple3 ((((((triple3) -> rule2) triple5) -> rule3)) -> rule4)) -> rule1))] Gary is cold.[(triple2 OR ((triple6) -> rule4) OR ((((triple7 triple5) -> rule3)) -> rule4) OR ((((((triple3) -> rule2) triple5) -> rule3)) -> rule4))] Gary is green.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5 OR ((triple2) -> rule5) OR ((triple6) -> rule6) OR ((((triple6) -> rule4)) -> rule5))] Gary is white.[(triple6 OR ((triple7 triple5) -> rule3) OR ((triple7 ((triple2) -> rule5)) -> rule3) OR ((((triple3) -> rule2) triple5) -> rule3) OR ((((triple3) -> rule2) ((triple2) -> rule5)) -> rule3))] Gary is young.[(triple7 OR ((triple3) -> rule2))] Harry is blue.[(triple8 OR ((triple10 triple9) -> rule1) OR ((triple10 ((((((triple10) -> rule2) triple12) -> rule3)) -> rule4)) -> rule1))] Harry is cold.[(triple9 OR ((((((triple10) -> rule2) triple12) -> rule3)) -> rule4))] Harry is green.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple9) -> rule5))] @1: Harry is young.[(((triple10) -> rule2))] @2: Harry is white.[(((((triple10) -> rule2) triple12) -> rule3) OR ((((triple10) -> rule2) ((triple9) -> rule5)) -> rule3))]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple3 ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple3 ((((triple7 triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple3 ((((((triple3) -> (rule2 % int4)) triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple2
((triple6) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple7 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((triple3) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
((triple2) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple6) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple6
((triple7 triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple7 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple3) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple7
((triple3) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple8
((triple10 triple9) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple10 ((((((triple10) -> (rule2 % int4)) triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((((((triple10) -> (rule2 % int3)) triple12) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((((triple10) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple10) -> (rule2 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3