That rough but kind guy is Bob, the green one. Charlie is big and seems cold, but he's just green. Really, he is nice and often red with laughter. That Harry is a round, rough fellow, and he's nice, as well as big. Rough people, round from over eating, who are also cold are young and don't mind the draft. A person fitting the description of rough, cold and red will also be a nice person. Despite being too big with bright green skin and freezing cold, these people have always been kind. Blue people who are big tend to be rough. Being big and kind like a gentle giant can make anyone blue. A cold temperatured and rough person who is also green will be big shaped.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Harry is nice.
True
1
proof
[(triple11)]
("Harry" "is" "nice" "+")
triple11
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Charlie is kind.
True
4
proof
[(((triple8 triple6 triple7) -> rule3))]
("Charlie" "is" "kind" "+")
((triple8 triple6 triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
4
inv-proof
[(((triple8 triple6 triple7) -> rule3))]
("Charlie" "is" "kind" "-")
((triple8 triple6 triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
True
6
proof
[(((triple8 ((triple8 triple6 triple7) -> rule3)) -> rule5))]
("Charlie" "is" "blue" "+")
((triple8 ((triple8 triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not blue.
False
6
inv-proof
[(((triple8 ((triple8 triple6 triple7) -> rule3)) -> rule5))]
("Charlie" "is" "blue" "-")
((triple8 ((triple8 triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
True
8
proof
[(((((triple8 ((triple8 triple6 triple7) -> rule3)) -> rule5) triple8) -> rule4))]
("Charlie" "is" "rough" "+")
((((triple8 ((triple8 triple6 triple7) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not rough.
False
8
inv-proof
[(((((triple8 ((triple8 triple6 triple7) -> rule3)) -> rule5) triple8) -> rule4))]
("Charlie" "is" "rough" "-")
((((triple8 ((triple8 triple6 triple7) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Bob" "is" "blue" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5 OR ((((((triple8 ((triple8 triple6 triple7) -> rule3)) -> rule5) triple8) -> rule4) triple7 triple4) -> rule2))] Charlie is red.[(triple4)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] Harry is round.[(triple9)] @1: Charlie is kind.[(((triple8 triple6 triple7) -> rule3))] @2: Charlie is blue.[(((triple8 ((triple8 triple6 triple7) -> rule3)) -> rule5))] @3: Charlie is rough.[(((((triple8 ((triple8 triple6 triple7) -> rule3)) -> rule5) triple8) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
((((((triple8 ((triple8 triple6 triple7) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule4 % int2)) triple7 triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple8 triple6 triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple8 ((triple8 triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple8 ((triple8 triple6 triple7) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
That rough but kind guy is Bob, the green one.
Charlie is big and seems cold, but he's just green; Really, he is nice and often red with laughter.
That Harry is a round, rough fellow, and he's nice, as well as big.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
A person fitting the description of rough, cold and red will also be a nice person.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
Blue people who are big tend to be rough.
Being big and kind like a gentle giant can make anyone blue.
A cold temperatured and rough person who is also green will be big shaped.