Although Charlie is seen as nice and round, his days of playing football have made him quite rough. Even though Eric is young, he is still very round and still very red. Gary looks big and is kind with red hair and green shoes. A nice person who is green is feeling cold. A person with rough skin who has been standing in the cold will turn red. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. A big and round shaped person that is also cold will be blue in color. Rough people who are nice and have green thumbs are almost always young. I've noticed that red, cold people who are kind have the trait of rough skin. A round person will also be red.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Eric is young.
True
1
proof
[(triple4)]
("Eric" "is" "young" "+")
triple4
Charlie is not nice.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "nice" "-")
triple3
Charlie is red.
True
2
proof
[(((triple1) -> rule7))]
("Charlie" "is" "red" "+")
((triple1) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple9 triple10) -> rule3))]
("Gary" "is" "nice" "-")
((triple9 triple10) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
True
5
proof
[(((triple9 ((triple9 triple10) -> rule3)) -> rule1))]
("Gary" "is" "cold" "+")
((triple9 ((triple9 triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((triple9 ((triple9 triple10) -> rule3)) -> rule1))]
("Gary" "is" "cold" "-")
((triple9 ((triple9 triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
True
8
proof
[(((triple8 ((triple9 ((triple9 triple10) -> rule3)) -> rule1) triple7) -> rule6))]
("Gary" "is" "rough" "+")
((triple8 ((triple9 ((triple9 triple10) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not rough.
False
8
inv-proof
[(((triple8 ((triple9 ((triple9 triple10) -> rule3)) -> rule1) triple7) -> rule6))]
("Gary" "is" "rough" "-")
((triple8 ((triple9 ((triple9 triple10) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
True
13
proof
[(((((triple9 triple10) -> rule3) triple9 ((triple8 ((triple9 ((triple9 triple10) -> rule3)) -> rule1) triple7) -> rule6)) -> rule5))]
("Gary" "is" "young" "+")
((((triple9 triple10) -> (rule3 % int4)) triple9 ((triple8 ((triple9 ((triple9 triple10) -> (rule3 % int4))) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is not young.
False
13
inv-proof
[(((((triple9 triple10) -> rule3) triple9 ((triple8 ((triple9 ((triple9 triple10) -> rule3)) -> rule1) triple7) -> rule6)) -> rule5))]
("Gary" "is" "young" "-")
((((triple9 triple10) -> (rule3 % int4)) triple9 ((triple8 ((triple9 ((triple9 triple10) -> (rule3 % int4))) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "young" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "blue" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Eric is red.[(triple6 OR ((triple5) -> rule7))] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is big.[(triple10)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] @1: Charlie is red.[(((triple1) -> rule7))] Gary is nice.[(((triple9 triple10) -> rule3))] @2: Gary is cold.[(((triple9 ((triple9 triple10) -> rule3)) -> rule1))] @3: Gary is rough.[(((triple8 ((triple9 ((triple9 triple10) -> rule3)) -> rule1) triple7) -> rule6))] @4: Gary is young.[(((((triple9 triple10) -> rule3) triple9 ((triple8 ((triple9 ((triple9 triple10) -> rule3)) -> rule1) triple7) -> rule6)) -> rule5))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple6
((triple5) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
((triple1) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 triple10) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 ((triple9 triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple8 ((triple9 ((triple9 triple10) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple9 triple10) -> (rule3 % int4)) triple9 ((triple8 ((triple9 ((triple9 triple10) -> (rule3 % int4))) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Although Charlie is seen as nice and round, his days of playing football have made him quite rough.
Even though Eric is young, he is still very round and still very red.
Gary looks big and is kind with red hair and green shoes.
A nice person who is green is feeling cold.
A person with rough skin who has been standing in the cold will turn red.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
A big and round shaped person that is also cold will be blue in color.
Rough people who are nice and have green thumbs are almost always young.
I've noticed that red, cold people who are kind have the trait of rough skin.
A round person will also be red.