Charlie has green teeth and rough skin. People also notice his blue eyes. Eric has green teeth and rough skin. People also notice his blue eyes. I know Gary really well and you can say he is rough on the outside, cold on the inside and red all of the time. Harry is rough and cold, but he's young and will get over it. When young, round people are cold it their skin gets a blue tinge to it. Those who are nice but a bit rough around the edges are known for being blue. A big, kind someone could also be cold in a green dress. Young and kind folks are always big. People that are green tend to be young. People who are rough are often rather kind as well. A big and round shaped, blue person will be cold for sure.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple8)]
("Gary" "is" "red" "+")
triple8
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Charlie is kind.
True
2
proof
[(((triple1) -> rule6))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Eric is not young.
False
2
inv-proof
[(((triple5) -> rule5))]
("Eric" "is" "young" "-")
((triple5) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Harry is big.
True
4
proof
[(((((triple11) -> rule6) triple10) -> rule4))]
("Harry" "is" "big" "+")
((((triple11) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Charlie is not big.
False
5
inv-proof
[(((((triple1) -> rule6) ((triple2) -> rule5)) -> rule4))]
("Charlie" "is" "big" "-")
((((triple1) -> (rule6 % int3)) ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Harry is green.
True
8
proof
[(((((((triple11) -> rule6) triple10) -> rule4) ((triple11) -> rule6) triple12) -> rule3))]
("Harry" "is" "green" "+")
((((((triple11) -> (rule6 % int3)) triple10) -> (rule4 % int2)) ((triple11) -> (rule6 % int3)) triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not green.
False
8
inv-proof
[(((((((triple11) -> rule6) triple10) -> rule4) ((triple11) -> rule6) triple12) -> rule3))]
("Harry" "is" "green" "-")
((((((triple11) -> (rule6 % int3)) triple10) -> (rule4 % int2)) ((triple11) -> (rule6 % int3)) triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not green.
Unknown
inv-rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is big.
Unknown
rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is blue.[(triple3)] Charlie is green.[(triple2)] Charlie is rough.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is rough.[(triple4)] Gary is cold.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Harry is cold.[(triple12)] Harry is rough.[(triple11)] Harry is young.[(triple10)] @1: Charlie is kind.[(((triple1) -> rule6))] Charlie is young.[(((triple2) -> rule5))] Eric is kind.[(((triple4) -> rule6))] Eric is young.[(((triple5) -> rule5))] Gary is kind.[(((triple7) -> rule6))] Harry is kind.[(((triple11) -> rule6))] @2: Charlie is big.[(((((triple1) -> rule6) ((triple2) -> rule5)) -> rule4))] Eric is big.[(((((triple4) -> rule6) ((triple5) -> rule5)) -> rule4))] Harry is big.[(((((triple11) -> rule6) triple10) -> rule4))] @3: Harry is green.[(((((((triple11) -> rule6) triple10) -> rule4) ((triple11) -> rule6) triple12) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple4) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple5) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple11) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple1) -> (rule6 % int3)) ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
((((triple4) -> (rule6 % int3)) ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((triple11) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((((triple11) -> (rule6 % int3)) triple10) -> (rule4 % int2)) ((triple11) -> (rule6 % int3)) triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Charlie has green teeth and rough skin; People also notice his blue eyes.
Eric has green teeth and rough skin; People also notice his blue eyes.
I know Gary really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Harry is rough and cold, but he's young and will get over it.
When young, round people are cold it their skin gets a blue tinge to it.
Those who are nice but a bit rough around the edges are known for being blue.
A big, kind someone could also be cold in a green dress.
Young and kind folks are always big.
People that are green tend to be young.
People who are rough are often rather kind as well.
A big and round shaped, blue person will be cold for sure.