Charlie has a round face and is very nice. When you see Dave, you will notice he is cold, big and kind. Everyone noticed how round and nice Eric was. He was kind, and everyone thought he was green and big. Harry is green, which is a possible explanation for why he is so nice. People who are blue, cold, and round are often kind. Those who are nice but a bit rough around the edges are known for being blue. Round people who feel rough also always feel cold,. People with big hands and red, rough skin are terribly kind. When a person's traits are to be big, blue and cold, they will also have a red trait. Young, round people seem to be big in our experience. Nice people who are big in stature often look rough.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is round.
True
1
proof
[(triple1)]
("Charlie" "is" "round" "+")
triple1
Eric is not nice.
False
1
inv-proof
[(triple7)]
("Eric" "is" "nice" "-")
triple7
Eric is rough.
True
3
proof
[(((triple7 triple10) -> rule7))]
("Eric" "is" "rough" "+")
((triple7 triple10) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple7 triple10) -> rule7))]
("Eric" "is" "rough" "-")
((triple7 triple10) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is cold.
True
5
proof
[(((triple6 ((triple7 triple10) -> rule7)) -> rule3))]
("Eric" "is" "cold" "+")
((triple6 ((triple7 triple10) -> (rule7 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not cold.
False
5
inv-proof
[(((triple6 ((triple7 triple10) -> rule7)) -> rule3))]
("Eric" "is" "cold" "-")
((triple6 ((triple7 triple10) -> (rule7 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
True
12
proof
[(((triple10 ((triple6 ((triple7 triple10) -> rule7)) -> rule3) ((triple7 ((triple7 triple10) -> rule7)) -> rule2)) -> rule5))]
("Eric" "is" "red" "+")
((triple10 ((triple6 ((triple7 triple10) -> (rule7 % int4))) -> (rule3 % int3)) ((triple7 ((triple7 triple10) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is not red.
False
12
inv-proof
[(((triple10 ((triple6 ((triple7 triple10) -> rule7)) -> rule3) ((triple7 ((triple7 triple10) -> rule7)) -> rule2)) -> rule5))]
("Eric" "is" "red" "-")
((triple10 ((triple6 ((triple7 triple10) -> (rule7 % int4))) -> (rule3 % int3)) ((triple7 ((triple7 triple10) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not kind.
Unknown
inv-rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Harry" "is" "kind" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is kind.[(triple3)] Eric is big.[(triple10)] Eric is green.[(triple9)] Eric is kind.[(triple8 OR ((((triple7 ((triple7 triple10) -> rule7)) -> rule2) ((triple6 ((triple7 triple10) -> rule7)) -> rule3) triple6) -> rule1) OR ((((triple7 triple10) -> rule7) triple10 ((triple10 ((triple6 ((triple7 triple10) -> rule7)) -> rule3) ((triple7 ((triple7 triple10) -> rule7)) -> rule2)) -> rule5)) -> rule4))] Eric is nice.[(triple7)] Eric is round.[(triple6)] Harry is green.[(triple12)] Harry is nice.[(triple11)] @1: Eric is rough.[(((triple7 triple10) -> rule7))] @2: Eric is blue.[(((triple7 ((triple7 triple10) -> rule7)) -> rule2))] Eric is cold.[(((triple6 ((triple7 triple10) -> rule7)) -> rule3))] @3: Eric is red.[(((triple10 ((triple6 ((triple7 triple10) -> rule7)) -> rule3) ((triple7 ((triple7 triple10) -> rule7)) -> rule2)) -> rule5))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
((((triple7 ((triple7 triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((triple6 ((triple7 triple10) -> (rule7 % int4))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((triple7 triple10) -> (rule7 % int5)) triple10 ((triple10 ((triple6 ((triple7 triple10) -> (rule7 % int5))) -> (rule3 % int4)) ((triple7 ((triple7 triple10) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is rough.
("Eric" "is" "rough" "+")
int5
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple10) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple7 ((triple7 triple10) -> (rule7 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple6 ((triple7 triple10) -> (rule7 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple10 ((triple6 ((triple7 triple10) -> (rule7 % int4))) -> (rule3 % int3)) ((triple7 ((triple7 triple10) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Charlie has a round face and is very nice.
When you see Dave, you will notice he is cold, big and kind.
Everyone noticed how round and nice Eric was; He was kind, and everyone thought he was green and big.
Harry is green, which is a possible explanation for why he is so nice.
People who are blue, cold, and round are often kind.
Those who are nice but a bit rough around the edges are known for being blue.
Round people who feel rough also always feel cold,.
People with big hands and red, rough skin are terribly kind.
When a person's traits are to be big, blue and cold, they will also have a red trait.
Young, round people seem to be big in our experience.
Nice people who are big in stature often look rough.