Charlie who is round and rough is also said to be nice and kind and is feeling green and blue. Eric has a round face and is very nice. Because Gary gets cold easily he tends to appear round from bundling up. Big, kind people that are rough are known for being red. If you meet a nice, young, red man, you will see that they are big too. It's inevitable that young, green people are big. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. People,though rough and red,tend to be cold too. When you meet someone with cold, rough skin and a round figure they will be nice. Being green and rough are signs that someone is big.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Charlie is round.
True
1
proof
[(triple1)]
("Charlie" "is" "round" "+")
triple1
Charlie is not round.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "round" "-")
triple1
Charlie is big.
True
3
proof
[(((triple5 triple2) -> rule7))]
("Charlie" "is" "big" "+")
((triple5 triple2) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple5 triple2) -> rule7))]
("Charlie" "is" "big" "-")
((triple5 triple2) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
True
6
proof
[(((((triple5 triple2) -> rule7) triple4 triple2) -> rule1))]
("Charlie" "is" "red" "+")
((((triple5 triple2) -> (rule7 % int2)) triple4 triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((((triple5 triple2) -> rule7) triple4 triple2) -> rule1))]
("Charlie" "is" "red" "-")
((((triple5 triple2) -> (rule7 % int2)) triple4 triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
True
8
proof
[(((triple2 ((((triple5 triple2) -> rule7) triple4 triple2) -> rule1)) -> rule5))]
("Charlie" "is" "cold" "+")
((triple2 ((((triple5 triple2) -> (rule7 % int3)) triple4 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not cold.
False
8
inv-proof
[(((triple2 ((((triple5 triple2) -> rule7) triple4 triple2) -> rule1)) -> rule5))]
("Charlie" "is" "cold" "-")
((triple2 ((((triple5 triple2) -> (rule7 % int3)) triple4 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3 OR ((((triple5 triple2) -> rule7) triple1 ((((triple5 triple2) -> rule7) triple4 triple2) -> rule1)) -> rule4) OR ((triple2 ((triple2 ((((triple5 triple2) -> rule7) triple4 triple2) -> rule1)) -> rule5) triple1) -> rule6))] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Gary is cold.[(triple10)] Gary is round.[(triple9)] @1: Charlie is big.[(((triple5 triple2) -> rule7))] @2: Charlie is red.[(((((triple5 triple2) -> rule7) triple4 triple2) -> rule1))] @3: Charlie is cold.[(((triple2 ((((triple5 triple2) -> rule7) triple4 triple2) -> rule1)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((((triple5 triple2) -> (rule7 % int3)) triple1 ((((triple5 triple2) -> (rule7 % int3)) triple4 triple2) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple2 ((triple2 ((((triple5 triple2) -> (rule7 % int4)) triple4 triple2) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
((triple5 triple2) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple5 triple2) -> (rule7 % int2)) triple4 triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 ((((triple5 triple2) -> (rule7 % int3)) triple4 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie who is round and rough is also said to be nice and kind and is feeling green and blue.
Eric has a round face and is very nice.
Because Gary gets cold easily he tends to appear round from bundling up.
Big, kind people that are rough are known for being red.
If you meet a nice, young, red man, you will see that they are big too.
It's inevitable that young, green people are big.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
People,though rough and red,tend to be cold too.
When you meet someone with cold, rough skin and a round figure they will be nice.
Being green and rough are signs that someone is big.