Big Alan is nice and red with sunburn and green hair. Even though Charlie is rough, he nice but cold and blue. Gary fits the description of someone who is rough, red and blue. I've noticed that kind people are also big. Someone might be red but blue from the cold dressing in green. Anyone with red and blue coloration also has green coloration. I have noticed that nice people that are green and blue are often round-shaped. People who are red and green are also nice. Kind people who are nice find that they must also be rough. A person who is red and green, will also tend to be round shaped and rough.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Charlie is nice.
True
1
proof
[(triple6)]
("Charlie" "is" "nice" "+")
triple6
Charlie is not cold.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "cold" "-")
triple7
Gary is green.
True
3
proof
[(((triple10 triple11) -> rule3))]
("Gary" "is" "green" "+")
((triple10 triple11) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple10 triple11) -> rule3))]
("Gary" "is" "green" "-")
((triple10 triple11) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
True
5
proof
[(((((triple10 triple11) -> rule3) triple10) -> rule5))]
("Gary" "is" "nice" "+")
((((triple10 triple11) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((((triple10 triple11) -> rule3) triple10) -> rule5))]
("Gary" "is" "nice" "-")
((((triple10 triple11) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
True
10
proof
[(((((((triple10 triple11) -> rule3) triple10) -> rule5) ((triple10 triple11) -> rule3) triple11) -> rule4))]
("Gary" "is" "round" "+")
((((((triple10 triple11) -> (rule3 % int3)) triple10) -> (rule5 % int2)) ((triple10 triple11) -> (rule3 % int3)) triple11) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not round.
False
10
inv-proof
[(((((((triple10 triple11) -> rule3) triple10) -> rule5) ((triple10 triple11) -> rule3) triple11) -> rule4))]
("Gary" "is" "round" "-")
((((((triple10 triple11) -> (rule3 % int3)) triple10) -> (rule5 % int2)) ((triple10 triple11) -> (rule3 % int3)) triple11) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2 OR ((triple3 triple1) -> rule5))] Alan is red.[(triple1)] Charlie is blue.[(triple8)] Charlie is cold.[(triple7)] Charlie is nice.[(triple6)] Charlie is rough.[(triple5)] Gary is blue.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9 OR ((((((((triple10 triple11) -> rule3) triple10) -> rule5) ((triple10 triple11) -> rule3) triple11) -> rule4) ((triple10 triple11) -> rule3) triple10) -> rule7))] @1: Gary is green.[(((triple10 triple11) -> rule3))] @2: Gary is nice.[(((((triple10 triple11) -> rule3) triple10) -> rule5))] @3: Gary is round.[(((((((triple10 triple11) -> rule3) triple10) -> rule5) ((triple10 triple11) -> rule3) triple11) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
((triple3 triple1) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
((((((((triple10 triple11) -> (rule3 % int4)) triple10) -> (rule5 % int3)) ((triple10 triple11) -> (rule3 % int4)) triple11) -> (rule4 % int2)) ((triple10 triple11) -> (rule3 % int4)) triple10) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((triple10 triple11) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple10 triple11) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((((triple10 triple11) -> (rule3 % int3)) triple10) -> (rule5 % int2)) ((triple10 triple11) -> (rule3 % int3)) triple11) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Big Alan is nice and red with sunburn and green hair.
Even though Charlie is rough, he nice but cold and blue.
Gary fits the description of someone who is rough, red and blue.
I've noticed that kind people are also big.
Someone might be red but blue from the cold dressing in green.
Anyone with red and blue coloration also has green coloration.
I have noticed that nice people that are green and blue are often round-shaped.
People who are red and green are also nice.
Kind people who are nice find that they must also be rough.
A person who is red and green, will also tend to be round shaped and rough.