When you talk about Alan, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. We know Charlie is round and red, yet somehow he is also green, in addition to being cold, blue, and big. Harry is young but big for his age. Harry wasn't feeling well so he is a little green. People who can be kind when they are cold are fundamentally nice. People who are blue, cold, and round are often kind. A round person who is nice and feelin cold is usually rough in apperance. A person who is described as round and rough is usually kind. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. Blue, red, young people are always going to be kind people, too.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Charlie is cold.
True
1
proof
[(triple7)]
("Charlie" "is" "cold" "+")
triple7
Charlie is not blue.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "blue" "-")
triple8
Charlie is kind.
True
4
proof
[(((triple8 triple7 triple4) -> rule2))]
("Charlie" "is" "kind" "+")
((triple8 triple7 triple4) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
4
inv-proof
[(((triple8 triple7 triple4) -> rule2))]
("Charlie" "is" "kind" "-")
((triple8 triple7 triple4) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
True
6
proof
[(((((triple8 triple7 triple4) -> rule2) triple7) -> rule1))]
("Charlie" "is" "nice" "+")
((((triple8 triple7 triple4) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((((triple8 triple7 triple4) -> rule2) triple7) -> rule1))]
("Charlie" "is" "nice" "-")
((((triple8 triple7 triple4) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
True
9
proof
[(((triple4 ((((triple8 triple7 triple4) -> rule2) triple7) -> rule1) triple7) -> rule3) OR ((((triple8 triple7 triple4) -> rule2) triple4 ((((triple8 triple7 triple4) -> rule2) triple7) -> rule1)) -> rule5))]
("Charlie" "is" "rough" "+")
((triple4 ((((triple8 triple7 triple4) -> (rule2 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple8 triple7 triple4) -> (rule2 % int3)) triple4 ((((triple8 triple7 triple4) -> (rule2 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not rough.
False
9
inv-proof
[(((triple4 ((((triple8 triple7 triple4) -> rule2) triple7) -> rule1) triple7) -> rule3) OR ((((triple8 triple7 triple4) -> rule2) triple4 ((((triple8 triple7 triple4) -> rule2) triple7) -> rule1)) -> rule5))]
("Charlie" "is" "rough" "-")
((triple4 ((((triple8 triple7 triple4) -> (rule2 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple8 triple7 triple4) -> (rule2 % int3)) triple4 ((((triple8 triple7 triple4) -> (rule2 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "+")
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple9)] Charlie is blue.[(triple8)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is red.[(triple5)] Charlie is round.[(triple4)] Harry is big.[(triple12)] Harry is green.[(triple11)] Harry is young.[(triple10)] @1: Charlie is kind.[(((triple8 triple7 triple4) -> rule2))] @2: Charlie is nice.[(((((triple8 triple7 triple4) -> rule2) triple7) -> rule1))] @3: Charlie is rough.[(((triple4 ((((triple8 triple7 triple4) -> rule2) triple7) -> rule1) triple7) -> rule3) OR ((((triple8 triple7 triple4) -> rule2) triple4 ((((triple8 triple7 triple4) -> rule2) triple7) -> rule1)) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple8 triple7 triple4) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple8 triple7 triple4) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 ((((triple8 triple7 triple4) -> (rule2 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple8 triple7 triple4) -> (rule2 % int3)) triple4 ((((triple8 triple7 triple4) -> (rule2 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
When you talk about Alan, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
We know Charlie is round and red, yet somehow he is also green, in addition to being cold, blue, and big.
Harry is young but big for his age; Harry wasn't feeling well so he is a little green.
People who can be kind when they are cold are fundamentally nice.
People who are blue, cold, and round are often kind.
A round person who is nice and feelin cold is usually rough in apperance.
A person who is described as round and rough is usually kind.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
Blue, red, young people are always going to be kind people, too.