Charlie is both big and round, with blue features. Eric is rough and cold, but he's young and will get over it. When you meet Gary you'll the two characteristics that will standout is that he's red but also rough. Cold people who are young and green are actually nice. A young person with a kind heart and big sized body will be rough around the edges. Find a big human that is colored red and green and he will be amazingly kind. Anyone with red and blue coloration also has green coloration. A person that is feeling blue and slightly big, is red as well.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Eric is not cold.
False
1
inv-proof
[(triple6)]
("Eric" "is" "cold" "-")
triple6
Charlie is red.
True
3
proof
[(((triple3 triple2) -> rule5))]
("Charlie" "is" "red" "+")
((triple3 triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("Charlie" "is" "red" "-")
((triple3 triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
True
5
proof
[(((((triple3 triple2) -> rule5) triple2) -> rule4))]
("Charlie" "is" "green" "+")
((((triple3 triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not green.
False
5
inv-proof
[(((((triple3 triple2) -> rule5) triple2) -> rule4))]
("Charlie" "is" "green" "-")
((((triple3 triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
True
10
proof
[(((triple3 ((triple3 triple2) -> rule5) ((((triple3 triple2) -> rule5) triple2) -> rule4)) -> rule3))]
("Charlie" "is" "kind" "+")
((triple3 ((triple3 triple2) -> (rule5 % int3)) ((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not kind.
False
10
inv-proof
[(((triple3 ((triple3 triple2) -> rule5) ((((triple3 triple2) -> rule5) triple2) -> rule4)) -> rule3))]
("Charlie" "is" "kind" "-")
((triple3 ((triple3 triple2) -> (rule5 % int3)) ((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Charlie is big.[(triple3)] Charlie is blue.[(triple2)] Charlie is round.[(triple1)] Eric is cold.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] Gary is red.[(triple8)] Gary is rough.[(triple7)] @1: Charlie is red.[(((triple3 triple2) -> rule5))] @2: Charlie is green.[(((((triple3 triple2) -> rule5) triple2) -> rule4))] @3: Charlie is kind.[(((triple3 ((triple3 triple2) -> rule5) ((((triple3 triple2) -> rule5) triple2) -> rule4)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
((triple3 triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3 triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 ((triple3 triple2) -> (rule5 % int3)) ((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is both big and round, with blue features.
Eric is rough and cold, but he's young and will get over it.
When you meet Gary you'll the two characteristics that will standout is that he's red but also rough.
Cold people who are young and green are actually nice.
A young person with a kind heart and big sized body will be rough around the edges.
Find a big human that is colored red and green and he will be amazingly kind.
Anyone with red and blue coloration also has green coloration.
A person that is feeling blue and slightly big, is red as well.