Bob wears all blue. That guy Fred is big, but he's always kind to little ones. Gary is a nice and red, but very kind person as soon as you meet him. Big blue Harry is nice and young. Cold and rough people will also surely be round shaped. Nice and blue people have to be big as well. Lucky for us, people that are round and red are kind to strangers. It is true that anyone who is cold while being young and nice is secretly a kind person. Anyone who's got young, round and big traits is bound to have a red trait, too. If a person behaves in a nice way while they are physically blue and big, they're definitely round. People who are described as young, green, and big are often considered rough.
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Gary is nice.
True
1
proof
[(triple5)]
("Gary" "is" "nice" "+")
triple5
Gary is not kind.
False
1
inv-proof
[(triple6)]
("Gary" "is" "kind" "-")
triple6
Harry is round.
True
4
proof
[(((triple8 triple9 triple10) -> rule6) OR ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6))]
("Harry" "is" "round" "+")
((triple8 triple9 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple8 triple9 ((triple8 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not round.
False
4
inv-proof
[(((triple8 triple9 triple10) -> rule6) OR ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6))]
("Harry" "is" "round" "-")
((triple8 triple9 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple8 triple9 ((triple8 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
True
7
proof
[(((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5) OR ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5))]
("Harry" "is" "red" "+")
((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not red.
False
7
inv-proof
[(((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5) OR ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5))]
("Harry" "is" "red" "-")
((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
True
12
proof
[(((((triple8 triple9 triple10) -> rule6) ((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3))]
("Harry" "is" "kind" "+")
((((triple8 triple9 triple10) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 triple10) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 ((triple8 triple9) -> (rule2 % int4)) ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 ((triple8 triple9) -> (rule2 % int4)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is not kind.
False
12
inv-proof
[(((((triple8 triple9 triple10) -> rule6) ((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3))]
("Harry" "is" "kind" "-")
((((triple8 triple9 triple10) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 triple10) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 ((triple8 triple9) -> (rule2 % int4)) ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 ((triple8 triple9) -> (rule2 % int4)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "rough" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is blue.[(triple1)] Fred is big.[(triple3)] Fred is kind.[(triple2)] Gary is kind.[(triple6)] Gary is nice.[(triple5)] Gary is red.[(triple4)] Harry is big.[(triple10 OR ((triple8 triple9) -> rule2))] Harry is blue.[(triple9)] Harry is nice.[(triple8)] Harry is young.[(triple7)] @1: Harry is round.[(((triple8 triple9 triple10) -> rule6) OR ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6))] @2: Harry is red.[(((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5) OR ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5))] @3: Harry is kind.[(((((triple8 triple9 triple10) -> rule6) ((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple8 triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
((triple8 triple9 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple8 triple9 ((triple8 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple8 triple9 triple10) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 triple10) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 ((triple8 triple9) -> (rule2 % int4)) ((triple8 triple9 triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 triple10) -> (rule6 % int4)) ((triple7 ((triple8 triple9) -> (rule2 % int3)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7 ((triple8 triple9) -> (rule2 % int4)) ((triple8 triple9 ((triple8 triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Bob wears all blue.
That guy Fred is big, but he's always kind to little ones.
Gary is a nice and red, but very kind person as soon as you meet him.
Big blue Harry is nice and young.
Cold and rough people will also surely be round shaped.
Nice and blue people have to be big as well.
Lucky for us, people that are round and red are kind to strangers.
It is true that anyone who is cold while being young and nice is secretly a kind person.
Anyone who's got young, round and big traits is bound to have a red trait, too.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
People who are described as young, green, and big are often considered rough.