They always call him rough Alan. Bob is kind and round. Being round makes him a bit blue. Charlie, who is young, nice, green, and blue, is also rather big shaped. Young Gary is wearing green pants. People who are round, blue and cold are usually nice. Young people who are big, downhearted, and blue are kind. A person that is blue green and nice are that way because they are still young. If a human is both young and kind, they are also cold. Big, rough people sometimes are also green and when they are they must be cold. If you are big and young then your are also nice. If you meet someone who is young and cold, then will most definitely be red.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Gary is not young.
False
1
inv-proof
[(triple10)]
("Gary" "is" "young" "-")
triple10
Charlie is kind.
True
4
proof
[(((triple9 triple8 triple5) -> rule2) OR ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2))]
("Charlie" "is" "kind" "+")
((triple9 triple8 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not kind.
False
4
inv-proof
[(((triple9 triple8 triple5) -> rule2) OR ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple9 triple8 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
True
6
proof
[(((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4) OR ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4) OR ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4) OR ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4))]
("Charlie" "is" "cold" "+")
((triple5 ((triple9 triple8 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple8 triple7 triple6) -> (rule3 % int3)) ((triple9 triple8 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple8 triple7 triple6) -> (rule3 % int3)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not cold.
False
6
inv-proof
[(((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4) OR ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4) OR ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4) OR ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4))]
("Charlie" "is" "cold" "-")
((triple5 ((triple9 triple8 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple8 triple7 triple6) -> (rule3 % int3)) ((triple9 triple8 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple8 triple7 triple6) -> (rule3 % int3)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
True
8
proof
[(((triple5 ((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7))]
("Charlie" "is" "red" "+")
((triple5 ((triple5 ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple5 ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple5 ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple5 ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not red.
False
8
inv-proof
[(((triple5 ((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7))]
("Charlie" "is" "red" "-")
((triple5 ((triple5 ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple5 ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple5 ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple5 ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "+")
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Alan is rough.[(triple1)] Bob is blue.[(triple4)] Bob is kind.[(triple3)] Bob is round.[(triple2)] Charlie is big.[(triple9)] Charlie is blue.[(triple8)] Charlie is green.[(triple7)] Charlie is nice.[(triple6 OR ((triple9 triple5) -> rule6))] Charlie is young.[(triple5 OR ((triple8 triple7 triple6) -> rule3))] Gary is green.[(triple11)] Gary is young.[(triple10)] @1: Charlie is kind.[(((triple9 triple8 triple5) -> rule2) OR ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2))] @2: Charlie is cold.[(((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4) OR ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4) OR ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4) OR ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4))] @3: Charlie is red.[(((triple5 ((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
((triple9 triple5) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple5
((triple8 triple7 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple9 triple8 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 ((triple9 triple8 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple8 triple7 triple6) -> (rule3 % int3)) ((triple9 triple8 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple8 triple7 triple6) -> (rule3 % int3)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple5 ((triple5 ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple5 ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple5 ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple5 ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple8 triple7 triple6) -> (rule3 % int4)) ((((triple8 triple7 triple6) -> (rule3 % int4)) ((triple9 triple8 ((triple8 triple7 triple6) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
They always call him rough Alan.
Bob is kind and round; Being round makes him a bit blue.
Charlie, who is young, nice, green, and blue, is also rather big shaped.
Young Gary is wearing green pants.
People who are round, blue and cold are usually nice.
Young people who are big, downhearted, and blue are kind.
A person that is blue green and nice are that way because they are still young.
If a human is both young and kind, they are also cold.
Big, rough people sometimes are also green and when they are they must be cold.
If you are big and young then your are also nice.
If you meet someone who is young and cold, then will most definitely be red.