Eric is big for being as young as he is. You will also notice how he is green and red. To the touch Fred has rough, cold skin. In the snow sits Gary, crying from being cold. Rough Harry can be nice and kind looking green. Everyone that is rough but also kind will be green. A kind, round person will surely be red as well. Any human being with green, big, kind eyes, also has round eyes. Green people with red round cheeks are young. Kind people,though green,tend to be nice. A very nice and kind person will also be round shaped.
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Eric is red.
True
1
proof
[(triple2)]
("Eric" "is" "red" "+")
triple2
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Harry is round.
True
3
proof
[(((triple9 triple10) -> rule6) OR ((((triple10 triple11) -> rule5) triple10) -> rule6) OR ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6))]
("Harry" "is" "round" "+")
((triple9 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not round.
False
3
inv-proof
[(((triple9 triple10) -> rule6) OR ((((triple10 triple11) -> rule5) triple10) -> rule6) OR ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6))]
("Harry" "is" "round" "-")
((triple9 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
True
5
proof
[(((triple10 ((triple9 triple10) -> rule6)) -> rule2) OR ((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) OR ((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2))]
("Harry" "is" "red" "+")
((triple10 ((triple9 triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple10 ((((triple10 triple11) -> (rule5 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int4))) -> (rule5 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not red.
False
5
inv-proof
[(((triple10 ((triple9 triple10) -> rule6)) -> rule2) OR ((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) OR ((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2))]
("Harry" "is" "red" "-")
((triple10 ((triple9 triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple10 ((((triple10 triple11) -> (rule5 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int4))) -> (rule5 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is young.
True
10
proof
[(((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4))]
("Harry" "is" "young" "+")
((((triple10 ((triple9 triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 ((triple9 triple10) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((triple9 triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) ((triple10 triple8) -> (rule1 % int3)) ((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((triple9 triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) ((triple10 triple8) -> (rule1 % int3)) ((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((((triple10 ((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is not young.
False
10
inv-proof
[(((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4))]
("Harry" "is" "young" "-")
((((triple10 ((triple9 triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 ((triple9 triple10) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((triple9 triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) ((triple10 triple8) -> (rule1 % int3)) ((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((triple9 triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) ((triple10 triple8) -> (rule1 % int3)) ((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((((triple10 ((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Fred is not young.
Unknown
inv-rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Eric is big.[(triple4)] Eric is green.[(triple3)] Eric is red.[(triple2)] Eric is young.[(triple1)] Fred is cold.[(triple6)] Fred is rough.[(triple5)] Gary is cold.[(triple7)] Harry is green.[(triple11 OR ((triple10 triple8) -> rule1))] Harry is kind.[(triple10)] Harry is nice.[(triple9 OR ((triple10 triple11) -> rule5) OR ((triple10 ((triple10 triple8) -> rule1)) -> rule5))] Harry is rough.[(triple8)] @1: Harry is round.[(((triple9 triple10) -> rule6) OR ((((triple10 triple11) -> rule5) triple10) -> rule6) OR ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6))] @2: Harry is red.[(((triple10 ((triple9 triple10) -> rule6)) -> rule2) OR ((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) OR ((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2))] @3: Harry is young.[(((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4))]
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple10 triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
((triple10 triple11) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple10 ((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
((triple9 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple10 ((triple9 triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple10 ((((triple10 triple11) -> (rule5 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int4))) -> (rule5 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple10 ((triple9 triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple10 ((triple9 triple10) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((triple9 triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) ((triple10 triple8) -> (rule1 % int3)) ((((triple10 triple11) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((triple9 triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple9 triple10) -> (rule6 % int5))) -> (rule2 % int4)) ((triple10 triple8) -> (rule1 % int3)) ((((triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10) -> (rule6 % int5))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 triple11) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10 triple8) -> (rule1 % int2)) ((((triple10 ((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int5)) triple10) -> (rule6 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((triple9 triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple11 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((((triple10 triple11) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10 ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple10 triple8) -> (rule1 % int5)) ((((triple10 ((triple10 triple8) -> (rule1 % int5))) -> (rule5 % int4)) triple10) -> (rule6 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Eric is big for being as young as he is; You will also notice how he is green and red.
To the touch Fred has rough, cold skin.
In the snow sits Gary, crying from being cold.
Rough Harry can be nice and kind looking green.
Everyone that is rough but also kind will be green.
A kind, round person will surely be red as well.
Any human being with green, big, kind eyes, also has round eyes.
Green people with red round cheeks are young.
Kind people,though green,tend to be nice.
A very nice and kind person will also be round shaped.