Charlie is round shaped and green colored. Because Eric gets cold easily he tends to appear round from bundling up. When you see Fred, you will notice he is cold, big and kind. When you talk about Harry, 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. People who are red and round are usually assumed to be green. A kind red person is also a blue person. Red, young people are for the most part round too. Being big and kind like a gentle giant can make anyone blue. Anyone who is round and also cold will surely be big as well. Round and somewhat big people manage to be kind to everyone. If you meet somebody who is green, big and red you'll notice they are also blue.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and young then they are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Harry is cold.
True
1
proof
[(triple10)]
("Harry" "is" "cold" "+")
triple10
Fred is not big.
False
1
inv-proof
[(triple7)]
("Fred" "is" "big" "-")
triple7
Eric is big.
True
3
proof
[(((triple3 triple4) -> rule5))]
("Eric" "is" "big" "+")
((triple3 triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule5))]
("Eric" "is" "big" "-")
((triple3 triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
True
5
proof
[(((triple3 ((triple3 triple4) -> rule5)) -> rule6))]
("Eric" "is" "kind" "+")
((triple3 ((triple3 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((triple3 ((triple3 triple4) -> rule5)) -> rule6))]
("Eric" "is" "kind" "-")
((triple3 ((triple3 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
True
9
proof
[(((((triple3 triple4) -> rule5) ((triple3 ((triple3 triple4) -> rule5)) -> rule6)) -> rule4))]
("Eric" "is" "blue" "+")
((((triple3 triple4) -> (rule5 % int3)) ((triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not blue.
False
9
inv-proof
[(((((triple3 triple4) -> rule5) ((triple3 ((triple3 triple4) -> rule5)) -> rule6)) -> rule4))]
("Eric" "is" "blue" "-")
((((triple3 triple4) -> (rule5 % int3)) ((triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@3: Harry is blue.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is green.[(triple2)] Charlie is round.[(triple1)] Eric is cold.[(triple4)] Eric is round.[(triple3)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] @1: Eric is big.[(((triple3 triple4) -> rule5))] Fred is blue.[(((triple7 triple5) -> rule4))] @2: Eric is kind.[(((triple3 ((triple3 triple4) -> rule5)) -> rule6))] @3: Eric is blue.[(((((triple3 triple4) -> rule5) ((triple3 ((triple3 triple4) -> rule5)) -> rule6)) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Eric is big.
("Eric" "is" "big" "+")
((triple3 triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 triple5) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple3 ((triple3 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple3 triple4) -> (rule5 % int3)) ((triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie is round shaped and green colored.
Because Eric gets cold easily he tends to appear round from bundling up.
When you see Fred, you will notice he is cold, big and kind.
When you talk about Harry, 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.
People who are red and round are usually assumed to be green.
A kind red person is also a blue person.
Red, young people are for the most part round too.
Being big and kind like a gentle giant can make anyone blue.
Anyone who is round and also cold will surely be big as well.
Round and somewhat big people manage to be kind to everyone.
If you meet somebody who is green, big and red you'll notice they are also blue.