From a certain angle Alan is blue but he is young so maybe that will go away. Charlie is rough and cold, but he's young and will get over it. When you talk about Eric, 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. Harry is a rough man with a big heart who has red hair and a nice smile. Nice people that are blue because they are cold turn green with envy. A very kind and green colored person, who is also cold, will be nice. Those who are nice but a bit rough around the edges are known for being blue. All the big and young boys at the park are red. A big and blue colored person is also certainly very kind. If someone is feeling blue and round in shape they are usually nice. A blue and green colored person will be round in shape.
Alan is young.
("Alan" "is" "young" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
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 kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Charlie is cold.
True
1
proof
[(triple5)]
("Charlie" "is" "cold" "+")
triple5
Eric is not cold.
False
1
inv-proof
[(triple8)]
("Eric" "is" "cold" "-")
triple8
Eric is blue.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Eric" "is" "blue" "+")
((triple7 triple6) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Eric" "is" "blue" "-")
((triple7 triple6) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
True
6
proof
[(((((triple7 triple6) -> rule3) triple7 triple8) -> rule1))]
("Eric" "is" "green" "+")
((((triple7 triple6) -> (rule3 % int2)) triple7 triple8) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not green.
False
6
inv-proof
[(((((triple7 triple6) -> rule3) triple7 triple8) -> rule1))]
("Eric" "is" "green" "-")
((((triple7 triple6) -> (rule3 % int2)) triple7 triple8) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
True
10
proof
[(((((triple7 triple6) -> rule3) ((((triple7 triple6) -> rule3) triple7 triple8) -> rule1)) -> rule7))]
("Eric" "is" "round" "+")
((((triple7 triple6) -> (rule3 % int3)) ((((triple7 triple6) -> (rule3 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not round.
False
10
inv-proof
[(((((triple7 triple6) -> rule3) ((((triple7 triple6) -> rule3) triple7 triple8) -> rule1)) -> rule7))]
("Eric" "is" "round" "-")
((((triple7 triple6) -> (rule3 % int3)) ((((triple7 triple6) -> (rule3 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Alan" "is" "round" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "kind" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "kind" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is blue.[(triple2)] Alan is young.[(triple1)] Charlie is cold.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Eric is cold.[(triple8)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] Harry is rough.[(triple9)] @1: Eric is blue.[(((triple7 triple6) -> rule3))] Harry is blue.[(((triple11 triple9) -> rule3))] @2: Eric is green.[(((((triple7 triple6) -> rule3) triple7 triple8) -> rule1))] Harry is kind.[(((((triple11 triple9) -> rule3) triple12) -> rule5))] @3: Eric is round.[(((((triple7 triple6) -> rule3) ((((triple7 triple6) -> rule3) triple7 triple8) -> rule1)) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
((triple7 triple6) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple11 triple9) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple7 triple6) -> (rule3 % int2)) triple7 triple8) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple11 triple9) -> (rule3 % int2)) triple12) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple7 triple6) -> (rule3 % int3)) ((((triple7 triple6) -> (rule3 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
From a certain angle Alan is blue but he is young so maybe that will go away.
Charlie is rough and cold, but he's young and will get over it.
When you talk about Eric, 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.
Harry is a rough man with a big heart who has red hair and a nice smile.
Nice people that are blue because they are cold turn green with envy.
A very kind and green colored person, who is also cold, will be nice.
Those who are nice but a bit rough around the edges are known for being blue.
All the big and young boys at the park are red.
A big and blue colored person is also certainly very kind.
If someone is feeling blue and round in shape they are usually nice.
A blue and green colored person will be round in shape.