Even though he's a big dude, Bob is cold. Charlie is nice and kind, but a little rough. Gary has green teeth and rough skin. People also notice his blue eyes. I have found that if someone is kind and red, that they are quite often nice. Rough and kind people are big. Incredible as it may seem, young people who are red and have kind attitudes are always round. Big, kind, and nice people are often red in color. A young person who is red a kind is also usually big. People who are nice, big, and also rough, are considered red. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and red and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Gary is blue.
True
1
proof
[(triple8)]
("Gary" "is" "blue" "+")
triple8
Charlie is not kind.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "kind" "-")
triple5
Charlie is big.
True
3
proof
[(((triple3 triple5) -> rule2))]
("Charlie" "is" "big" "+")
((triple3 triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple3 triple5) -> rule2))]
("Charlie" "is" "big" "-")
((triple3 triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
True
6
proof
[(((triple4 ((triple3 triple5) -> rule2) triple3) -> rule6) OR ((((triple3 triple5) -> rule2) triple5 triple4) -> rule4))]
("Charlie" "is" "red" "+")
((triple4 ((triple3 triple5) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((triple4 ((triple3 triple5) -> rule2) triple3) -> rule6) OR ((((triple3 triple5) -> rule2) triple5 triple4) -> rule4))]
("Charlie" "is" "red" "-")
((triple4 ((triple3 triple5) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
True
14
proof
[(((((triple4 triple5 ((triple3 triple5) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule2) triple3) -> rule6) triple5) -> rule3) OR ((((triple4 triple5 ((triple3 triple5) -> rule2)) -> rule7) ((((triple3 triple5) -> rule2) triple5 triple4) -> rule4) triple5) -> rule3))]
("Charlie" "is" "round" "+")
((((triple4 triple5 ((triple3 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4 ((triple3 triple5) -> (rule2 % int4)) triple3) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple4 triple5 ((triple3 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple3 triple5) -> (rule2 % int4)) triple5 triple4) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is not round.
False
14
inv-proof
[(((((triple4 triple5 ((triple3 triple5) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule2) triple3) -> rule6) triple5) -> rule3) OR ((((triple4 triple5 ((triple3 triple5) -> rule2)) -> rule7) ((((triple3 triple5) -> rule2) triple5 triple4) -> rule4) triple5) -> rule3))]
("Charlie" "is" "round" "-")
((((triple4 triple5 ((triple3 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4 ((triple3 triple5) -> (rule2 % int4)) triple3) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple4 triple5 ((triple3 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple3 triple5) -> (rule2 % int4)) triple5 triple4) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is big.[(triple2)] Bob is cold.[(triple1)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Charlie is rough.[(triple3)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is rough.[(triple6)] @1: Charlie is big.[(((triple3 triple5) -> rule2))] @2: Charlie is red.[(((triple4 ((triple3 triple5) -> rule2) triple3) -> rule6) OR ((((triple3 triple5) -> rule2) triple5 triple4) -> rule4))] Charlie is young.[(((triple4 triple5 ((triple3 triple5) -> rule2)) -> rule7))] @3: Charlie is round.[(((((triple4 triple5 ((triple3 triple5) -> rule2)) -> rule7) ((triple4 ((triple3 triple5) -> rule2) triple3) -> rule6) triple5) -> rule3) OR ((((triple4 triple5 ((triple3 triple5) -> rule2)) -> rule7) ((((triple3 triple5) -> rule2) triple5 triple4) -> rule4) triple5) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple4 ((triple3 triple5) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 triple5 ((triple3 triple5) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple4 triple5 ((triple3 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4 ((triple3 triple5) -> (rule2 % int4)) triple3) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple4 triple5 ((triple3 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple3 triple5) -> (rule2 % int4)) triple5 triple4) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Even though he's a big dude, Bob is cold.
Charlie is nice and kind, but a little rough.
Gary has green teeth and rough skin; People also notice his blue eyes.
I have found that if someone is kind and red, that they are quite often nice.
Rough and kind people are big.
Incredible as it may seem, young people who are red and have kind attitudes are always round.
Big, kind, and nice people are often red in color.
A young person who is red a kind is also usually big.
People who are nice, big, and also rough, are considered red.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.