Even though he's a big dude, Alan is cold. Charlie is rough but very kind, he is also red in color and young in age. Dave is big for being as young as he is. You will also notice how he is green and red. In the snow sits Fred, crying from being cold. Being a kind person even when you are blue is hard, but it means you are round with delight. I have found that blue, kind people are big. A young person with rough red skin is downhearted and blue. A young aged blue person will certainly be nice. A kind, cold, round person will be nice in addition. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. Big kind people are usually cold.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Dave is not green.
False
1
inv-proof
[(triple9)]
("Dave" "is" "green" "-")
triple9
Charlie is blue.
True
4
proof
[(((triple4 triple3 triple5) -> rule3))]
("Charlie" "is" "blue" "+")
((triple4 triple3 triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
4
inv-proof
[(((triple4 triple3 triple5) -> rule3))]
("Charlie" "is" "blue" "-")
((triple4 triple3 triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
True
6
proof
[(((triple3 ((triple4 triple3 triple5) -> rule3)) -> rule4) OR ((((triple6 ((((triple4 triple3 triple5) -> rule3) triple6) -> rule2)) -> rule7) ((((triple4 triple3 triple5) -> rule3) triple6) -> rule1) triple6) -> rule5))]
("Charlie" "is" "nice" "+")
((triple3 ((triple4 triple3 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple6 ((((triple4 triple3 triple5) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple4 triple3 triple5) -> (rule3 % int5)) triple6) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is not round.
False
6
inv-proof
[(((((triple4 triple3 triple5) -> rule3) triple6) -> rule1))]
("Charlie" "is" "round" "-")
((((triple4 triple3 triple5) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
True
12
proof
[(((((triple3 ((triple4 triple3 triple5) -> rule3)) -> rule4) ((triple4 triple3 triple5) -> rule3) triple6) -> rule6) OR ((((((triple6 ((((triple4 triple3 triple5) -> rule3) triple6) -> rule2)) -> rule7) ((((triple4 triple3 triple5) -> rule3) triple6) -> rule1) triple6) -> rule5) ((triple4 triple3 triple5) -> rule3) triple6) -> rule6))]
("Charlie" "is" "green" "+")
((((triple3 ((triple4 triple3 triple5) -> (rule3 % int3))) -> (rule4 % int2)) ((triple4 triple3 triple5) -> (rule3 % int3)) triple6) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple6 ((((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule1 % int3)) triple6) -> (rule5 % int2)) ((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
Charlie is not green.
False
12
inv-proof
[(((((triple3 ((triple4 triple3 triple5) -> rule3)) -> rule4) ((triple4 triple3 triple5) -> rule3) triple6) -> rule6) OR ((((((triple6 ((((triple4 triple3 triple5) -> rule3) triple6) -> rule2)) -> rule7) ((((triple4 triple3 triple5) -> rule3) triple6) -> rule1) triple6) -> rule5) ((triple4 triple3 triple5) -> rule3) triple6) -> rule6))]
("Charlie" "is" "green" "-")
((((triple3 ((triple4 triple3 triple5) -> (rule3 % int3))) -> (rule4 % int2)) ((triple4 triple3 triple5) -> (rule3 % int3)) triple6) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple6 ((((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule1 % int3)) triple6) -> (rule5 % int2)) ((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "green" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Charlie is kind.[(triple6)] Charlie is red.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Dave is big.[(triple10)] Dave is green.[(triple9)] Dave is red.[(triple8)] Dave is young.[(triple7)] Fred is cold.[(triple11)] @1: Charlie is blue.[(((triple4 triple3 triple5) -> rule3))] @2: Charlie is big.[(((((triple4 triple3 triple5) -> rule3) triple6) -> rule2))] Charlie is nice.[(((triple3 ((triple4 triple3 triple5) -> rule3)) -> rule4) OR ((((triple6 ((((triple4 triple3 triple5) -> rule3) triple6) -> rule2)) -> rule7) ((((triple4 triple3 triple5) -> rule3) triple6) -> rule1) triple6) -> rule5))] Charlie is round.[(((((triple4 triple3 triple5) -> rule3) triple6) -> rule1))] @3: Charlie is cold.[(((triple6 ((((triple4 triple3 triple5) -> rule3) triple6) -> rule2)) -> rule7))] Charlie is green.[(((((triple3 ((triple4 triple3 triple5) -> rule3)) -> rule4) ((triple4 triple3 triple5) -> rule3) triple6) -> rule6) OR ((((((triple6 ((((triple4 triple3 triple5) -> rule3) triple6) -> rule2)) -> rule7) ((((triple4 triple3 triple5) -> rule3) triple6) -> rule1) triple6) -> rule5) ((triple4 triple3 triple5) -> rule3) triple6) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple3 triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 triple3 triple5) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 ((triple4 triple3 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple6 ((((triple4 triple3 triple5) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple4 triple3 triple5) -> (rule3 % int5)) triple6) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
((((triple4 triple3 triple5) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6 ((((triple4 triple3 triple5) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3 ((triple4 triple3 triple5) -> (rule3 % int3))) -> (rule4 % int2)) ((triple4 triple3 triple5) -> (rule3 % int3)) triple6) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple6 ((((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule1 % int3)) triple6) -> (rule5 % int2)) ((triple4 triple3 triple5) -> (rule3 % int6)) triple6) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
Even though he's a big dude, Alan is cold.
Charlie is rough but very kind, he is also red in color and young in age.
Dave is big for being as young as he is; You will also notice how he is green and red.
In the snow sits Fred, crying from being cold.
Being a kind person even when you are blue is hard, but it means you are round with delight.
I have found that blue, kind people are big.
A young person with rough red skin is downhearted and blue.
A young aged blue person will certainly be nice.
A kind, cold, round person will be nice in addition.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
Big kind people are usually cold.