Alan is too young to be so big. Some say he is too green to be so blue as well. Even though Gary is green with envy he is nice with rosy red cheeks. The cold, nice, kind man with a round body is known as Harry. A young and cold person is red. If a kind, red person is also feeling blue then he will be cold to outsiders. Red people feel blue about it. A kind and cold person who is green is, surprisingly, also blue. People feeling green and blue are somewhat nice. A person being big and rough makes them cold towards others but that also means that they are kind. Anyone you know who is cold and kind must certainly be young.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Harry is round.
True
1
proof
[(triple8)]
("Harry" "is" "round" "+")
triple8
Alan is not blue.
False
1
inv-proof
[(triple3)]
("Alan" "is" "blue" "-")
triple3
Alan is nice.
True
3
proof
[(((triple2 triple3) -> rule5))]
("Alan" "is" "nice" "+")
((triple2 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("Alan" "is" "nice" "-")
((triple2 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Harry is red.
True
5
proof
[(((triple11 ((triple11 triple10) -> rule7)) -> rule1))]
("Harry" "is" "red" "+")
((triple11 ((triple11 triple10) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not red.
False
5
inv-proof
[(((triple11 ((triple11 triple10) -> rule7)) -> rule1))]
("Harry" "is" "red" "-")
((triple11 ((triple11 triple10) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
True
6
proof
[(((((triple11 ((triple11 triple10) -> rule7)) -> rule1)) -> rule3))]
("Harry" "is" "blue" "+")
((((triple11 ((triple11 triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not blue.
False
6
inv-proof
[(((((triple11 ((triple11 triple10) -> rule7)) -> rule1)) -> rule3))]
("Harry" "is" "blue" "-")
((((triple11 ((triple11 triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "kind" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Alan" "is" "red" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Alan" "is" "cold" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is young.[(triple1)] Gary is green.[(triple7)] Gary is nice.[(triple6 OR ((triple7 ((triple5) -> rule3)) -> rule5))] Gary is red.[(triple5)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] Harry is round.[(triple8)] @1: Alan is nice.[(((triple2 triple3) -> rule5))] Gary is blue.[(((triple5) -> rule3))] Harry is young.[(((triple11 triple10) -> rule7))] @2: Harry is red.[(((triple11 ((triple11 triple10) -> rule7)) -> rule1))] @3: Harry is blue.[(((((triple11 ((triple11 triple10) -> rule7)) -> rule1)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
((triple7 ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple11 triple10) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple11 ((triple11 triple10) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple11 ((triple11 triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan is too young to be so big; Some say he is too green to be so blue as well.
Even though Gary is green with envy he is nice with rosy red cheeks.
The cold, nice, kind man with a round body is known as Harry.
A young and cold person is red.
If a kind, red person is also feeling blue then he will be cold to outsiders.
Red people feel blue about it.
A kind and cold person who is green is, surprisingly, also blue.
People feeling green and blue are somewhat nice.
A person being big and rough makes them cold towards others but that also means that they are kind.
Anyone you know who is cold and kind must certainly be young.