Because Alan gets cold easily he tends to appear round from bundling up. Others enjoy Charlie's company because he is so nice and kind. Fred who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger.  Usually though he is described as being a kind and nice person. Harry is too young to be so big. Some say he is too green to be so blue as well. Red and green people that are nice are cold to strangers. Nice people that are blue because they are cold turn green with envy. Red, kind, rough people are the young ones. A person who exhibits nice, kind and cold characteristics will also be a rough person. A person who is cold, rough and young is also nice.
Alan is round.
("Alan" "is" "round" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Harry is young.
True
1
proof
[(triple9)]
("Harry" "is" "young" "+")
triple9
Fred is not red.
False
1
inv-proof
[(triple5)]
("Fred" "is" "red" "-")
triple5
Fred is cold.
True
4
proof
[(((triple5 triple6 triple8) -> rule1))]
("Fred" "is" "cold" "+")
((triple5 triple6 triple8) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
4
inv-proof
[(((triple5 triple6 triple8) -> rule1))]
("Fred" "is" "cold" "-")
((triple5 triple6 triple8) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
True
7
proof
[(((triple7 triple6 ((triple5 triple6 triple8) -> rule1)) -> rule4))]
("Fred" "is" "rough" "+")
((triple7 triple6 ((triple5 triple6 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not rough.
False
7
inv-proof
[(((triple7 triple6 ((triple5 triple6 triple8) -> rule1)) -> rule4))]
("Fred" "is" "rough" "-")
((triple7 triple6 ((triple5 triple6 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
True
10
proof
[(((triple5 triple7 ((triple7 triple6 ((triple5 triple6 triple8) -> rule1)) -> rule4)) -> rule3))]
("Fred" "is" "young" "+")
((triple5 triple7 ((triple7 triple6 ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not young.
False
10
inv-proof
[(((triple5 triple7 ((triple7 triple6 ((triple5 triple6 triple8) -> rule1)) -> rule4)) -> rule3))]
("Fred" "is" "young" "-")
((triple5 triple7 ((triple7 triple6 ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Alan is cold.[(triple2)] Alan is round.[(triple1)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is young.[(triple9)] @1: Fred is cold.[(((triple5 triple6 triple8) -> rule1))] @2: Fred is rough.[(((triple7 triple6 ((triple5 triple6 triple8) -> rule1)) -> rule4))] @3: Fred is young.[(((triple5 triple7 ((triple7 triple6 ((triple5 triple6 triple8) -> rule1)) -> rule4)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
((triple5 triple6 triple8) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple7 triple6 ((triple5 triple6 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple5 triple7 ((triple7 triple6 ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Because Alan gets cold easily he tends to appear round from bundling up.
Others enjoy Charlie's company because he is so nice and kind.
Fred who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger; Usually though he is described as being a kind and nice person.
Harry is too young to be so big; Some say he is too green to be so blue as well.
Red and green people that are nice are cold to strangers.
Nice people that are blue because they are cold turn green with envy.
Red, kind, rough people are the young ones.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
A person who is cold, rough and young is also nice.