Charlie looks red to most people, with blue features. Dave grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Fred is very young with red hair and green eyes and very nice. Fred is cold most of the times where he lives. That man standing next to you with a big round body goes by the name of Gary. Big and round people can't help but be cold all of the time. Watch out for the rough and round kind people for they cold to others. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. A young person who is red and green is also going to look round. A young, red person will certainly be cold. A cold human with round and rough aspects is always kind. Nice people are cold people.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Fred is round.
True
4
proof
[(((triple5 triple8 triple6) -> rule4))]
("Fred" "is" "round" "+")
((triple5 triple8 triple6) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple11 triple10) -> rule1))]
("Gary" "is" "cold" "-")
((triple11 triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
True
6
proof
[(((triple10 triple11 ((triple11 triple10) -> rule1)) -> rule3))]
("Gary" "is" "rough" "+")
((triple10 triple11 ((triple11 triple10) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not rough.
False
6
inv-proof
[(((triple10 triple11 ((triple11 triple10) -> rule1)) -> rule3))]
("Gary" "is" "rough" "-")
((triple10 triple11 ((triple11 triple10) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
True
11
proof
[(((((triple11 triple10) -> rule1) triple10 ((triple10 triple11 ((triple11 triple10) -> rule1)) -> rule3)) -> rule6))]
("Gary" "is" "kind" "+")
((((triple11 triple10) -> (rule1 % int3)) triple10 ((triple10 triple11 ((triple11 triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not kind.
False
11
inv-proof
[(((((triple11 triple10) -> rule1) triple10 ((triple10 triple11 ((triple11 triple10) -> rule1)) -> rule3)) -> rule6))]
("Gary" "is" "kind" "-")
((((triple11 triple10) -> (rule1 % int3)) triple10 ((triple10 triple11 ((triple11 triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Dave" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is blue.[(triple2)] Charlie is red.[(triple1)] Dave is blue.[(triple4)] Dave is rough.[(triple3)] Fred is cold.[(triple9 OR ((triple7) -> rule7) OR ((triple6 triple5) -> rule5))] Fred is green.[(triple8)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Fred is young.[(triple5)] Gary is big.[(triple11)] Gary is round.[(triple10)] @1: Fred is round.[(((triple5 triple8 triple6) -> rule4))] Gary is cold.[(((triple11 triple10) -> rule1))] @2: Gary is rough.[(((triple10 triple11 ((triple11 triple10) -> rule1)) -> rule3))] @3: Gary is kind.[(((((triple11 triple10) -> rule1) triple10 ((triple10 triple11 ((triple11 triple10) -> rule1)) -> rule3)) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple9
((triple7) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple6 triple5) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
((triple5 triple8 triple6) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple11 triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 triple11 ((triple11 triple10) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple11 triple10) -> (rule1 % int3)) triple10 ((triple10 triple11 ((triple11 triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Charlie looks red to most people, with blue features.
Dave grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Fred is very young with red hair and green eyes and very nice; Fred is cold most of the times where he lives.
That man standing next to you with a big round body goes by the name of Gary.
Big and round people can't help but be cold all of the time.
Watch out for the rough and round kind people for they cold to others.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
A young person who is red and green is also going to look round.
A young, red person will certainly be cold.
A cold human with round and rough aspects is always kind.
Nice people are cold people.