That man standing next to you with a big round body goes by the name of Alan. Charlie is still young which means he can be rough and cold. He is a big boy with red hair. Gary vowed to always be rough, cold, blue, and big as possible. Red Harry is what folks call him, because he is quite red. When a person's traits are to be big, blue and cold, they will also have a red trait. Anyone with red and blue coloration also has green coloration. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. Young people are rough. If someone is kind, green, and round sized, then they are typically nice people. A green colored and rough person will be quite kind. If you meet somebody who is green, big and red you'll notice they are also blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
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 red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Gary is red.
True
4
proof
[(((triple11 triple9 triple10) -> rule1))]
("Gary" "is" "red" "+")
((triple11 triple9 triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Charlie is not blue.
False
4
inv-proof
[(((triple5 triple3 triple4) -> rule3) OR ((triple5 triple3 ((triple3) -> rule4)) -> rule3))]
("Charlie" "is" "blue" "-")
((triple5 triple3 triple4) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple5 triple3 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is green.
True
6
proof
[(((((triple11 triple9 triple10) -> rule1) triple10) -> rule2))]
("Gary" "is" "green" "+")
((((triple11 triple9 triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((triple5 ((triple5 triple3 triple4) -> rule3)) -> rule2) OR ((triple5 ((triple5 triple3 ((triple3) -> rule4)) -> rule3)) -> rule2))]
("Charlie" "is" "green" "-")
((triple5 ((triple5 triple3 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple5 ((triple5 triple3 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
True
8
proof
[(((((triple5 ((triple5 triple3 triple4) -> rule3)) -> rule2) triple4) -> rule6) OR ((((triple5 ((triple5 triple3 triple4) -> rule3)) -> rule2) ((triple3) -> rule4)) -> rule6) OR ((((triple5 ((triple5 triple3 ((triple3) -> rule4)) -> rule3)) -> rule2) triple4) -> rule6) OR ((((triple5 ((triple5 triple3 ((triple3) -> rule4)) -> rule3)) -> rule2) ((triple3) -> rule4)) -> rule6))]
("Charlie" "is" "kind" "+")
((((triple5 ((triple5 triple3 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple5 ((triple5 triple3 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple5 ((triple5 triple3 ((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple5 ((triple5 triple3 ((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not kind.
False
8
inv-proof
[(((((triple5 ((triple5 triple3 triple4) -> rule3)) -> rule2) triple4) -> rule6) OR ((((triple5 ((triple5 triple3 triple4) -> rule3)) -> rule2) ((triple3) -> rule4)) -> rule6) OR ((((triple5 ((triple5 triple3 ((triple3) -> rule4)) -> rule3)) -> rule2) triple4) -> rule6) OR ((((triple5 ((triple5 triple3 ((triple3) -> rule4)) -> rule3)) -> rule2) ((triple3) -> rule4)) -> rule6))]
("Charlie" "is" "kind" "-")
((((triple5 ((triple5 triple3 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple5 ((triple5 triple3 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple5 ((triple5 triple3 ((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple5 ((triple5 triple3 ((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "nice" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is red.[(triple5)] Charlie is rough.[(triple4 OR ((triple3) -> rule4))] Charlie is young.[(triple3)] Gary is big.[(triple11)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is rough.[(triple8)] Harry is red.[(triple12)] @1: Charlie is blue.[(((triple5 triple3 triple4) -> rule3) OR ((triple5 triple3 ((triple3) -> rule4)) -> rule3))] Gary is red.[(((triple11 triple9 triple10) -> rule1))] @2: Charlie is green.[(((triple5 ((triple5 triple3 triple4) -> rule3)) -> rule2) OR ((triple5 ((triple5 triple3 ((triple3) -> rule4)) -> rule3)) -> rule2))] Gary is green.[(((((triple11 triple9 triple10) -> rule1) triple10) -> rule2))] @3: Charlie is kind.[(((((triple5 ((triple5 triple3 triple4) -> rule3)) -> rule2) triple4) -> rule6) OR ((((triple5 ((triple5 triple3 triple4) -> rule3)) -> rule2) ((triple3) -> rule4)) -> rule6) OR ((((triple5 ((triple5 triple3 ((triple3) -> rule4)) -> rule3)) -> rule2) triple4) -> rule6) OR ((((triple5 ((triple5 triple3 ((triple3) -> rule4)) -> rule3)) -> rule2) ((triple3) -> rule4)) -> rule6))] Gary is kind.[(((((((triple11 triple9 triple10) -> rule1) triple10) -> rule2) triple8) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 triple3 triple4) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple5 triple3 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple11 triple9 triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 ((triple5 triple3 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple5 ((triple5 triple3 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((triple11 triple9 triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple5 ((triple5 triple3 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple5 ((triple5 triple3 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple5 ((triple5 triple3 ((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple5 ((triple5 triple3 ((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple11 triple9 triple10) -> (rule1 % int3)) triple10) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
That man standing next to you with a big round body goes by the name of Alan.
Charlie is still young which means he can be rough and cold; He is a big boy with red hair.
Gary vowed to always be rough, cold, blue, and big as possible.
Red Harry is what folks call him, because he is quite red.
When a person's traits are to be big, blue and cold, they will also have a red trait.
Anyone with red and blue coloration also has green coloration.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
Young people are rough.
If someone is kind, green, and round sized, then they are typically nice people.
A green colored and rough person will be quite kind.
If you meet somebody who is green, big and red you'll notice they are also blue.