Big Alan, the most blue guy I know while also being cold. In the snow sits Charlie, crying from being cold. Even though Dave is young, he is still very round and still very red. Harry is very nice to people, but he's also rather big. Someone who is both red and blue will also be a nice person. If a kind person is also young and round shaped, they will be colored blue. It is true that kind people who have become cold and blue and survived are necessarily big. Big people are also round people. Blue, red, young people are always going to be kind people, too. Round and somewhat big people manage to be kind to everyone. Big,cold,kind people tend to be red in color to others.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Dave is young.
True
1
proof
[(triple5)]
("Dave" "is" "young" "+")
triple5
Alan is not cold.
False
1
inv-proof
[(triple1)]
("Alan" "is" "cold" "-")
triple1
Harry is round.
True
2
proof
[(((triple9) -> rule4))]
("Harry" "is" "round" "+")
((triple9) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is not round.
False
2
inv-proof
[(((triple3) -> rule4))]
("Alan" "is" "round" "-")
((triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Harry is kind.
True
4
proof
[(((((triple9) -> rule4) triple9) -> rule6))]
("Harry" "is" "kind" "+")
((((triple9) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not kind.
False
4
inv-proof
[(((((triple9) -> rule4) triple9) -> rule6))]
("Harry" "is" "kind" "-")
((((triple9) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Alan is red.
True
7
proof
[(((((((triple3) -> rule4) triple3) -> rule6) triple3 triple1) -> rule7))]
("Alan" "is" "red" "+")
((((((triple3) -> (rule4 % int3)) triple3) -> (rule6 % int2)) triple3 triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not red.
False
7
inv-proof
[(((((((triple3) -> rule4) triple3) -> rule6) triple3 triple1) -> rule7))]
("Alan" "is" "red" "-")
((((((triple3) -> (rule4 % int3)) triple3) -> (rule6 % int2)) triple3 triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is nice.
True
9
proof
[(((((((((triple3) -> rule4) triple3) -> rule6) triple3 triple1) -> rule7) triple2) -> rule1))]
("Alan" "is" "nice" "+")
((((((((triple3) -> (rule4 % int4)) triple3) -> (rule6 % int3)) triple3 triple1) -> (rule7 % int2)) triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is not nice.
False
9
inv-proof
[(((((((((triple3) -> rule4) triple3) -> rule6) triple3 triple1) -> rule7) triple2) -> rule1))]
("Alan" "is" "nice" "-")
((((((((triple3) -> (rule4 % int4)) triple3) -> (rule6 % int3)) triple3 triple1) -> (rule7 % int2)) triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Charlie is not red.
Unknown
inv-rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Dave is nice.
Unknown
rconc
[@4: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule6 <- rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is kind.
Unknown
rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not kind.
Unknown
inv-rconc
[@4: Dave is kind.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule6 <- rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is cold.[(triple1)] Charlie is cold.[(triple4)] Dave is red.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5)] Harry is big.[(triple9)] Harry is nice.[(triple8)] @1: Alan is round.[(((triple3) -> rule4))] Harry is round.[(((triple9) -> rule4))] @2: Alan is kind.[(((((triple3) -> rule4) triple3) -> rule6))] Harry is kind.[(((((triple9) -> rule4) triple9) -> rule6))] @3: Alan is red.[(((((((triple3) -> rule4) triple3) -> rule6) triple3 triple1) -> rule7))] @4: Alan is nice.[(((((((((triple3) -> rule4) triple3) -> rule6) triple3 triple1) -> rule7) triple2) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Alan is round.
("Alan" "is" "round" "+")
((triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple9) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((((triple3) -> (rule4 % int3)) triple3) -> (rule6 % int2)) triple3 triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((((((((triple3) -> (rule4 % int4)) triple3) -> (rule6 % int3)) triple3 triple1) -> (rule7 % int2)) triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Big Alan, the most blue guy I know while also being cold.
In the snow sits Charlie, crying from being cold.
Even though Dave is young, he is still very round and still very red.
Harry is very nice to people, but he's also rather big.
Someone who is both red and blue will also be a nice person.
If a kind person is also young and round shaped, they will be colored blue.
It is true that kind people who have become cold and blue and survived are necessarily big.
Big people are also round people.
Blue, red, young people are always going to be kind people, too.
Round and somewhat big people manage to be kind to everyone.
Big,cold,kind people tend to be red in color to others.