Colored red, green, and blue, Alan is quite the round person. When you meet Eric you'll the two characteristics that will standout is that he's red but also rough. Fred is a nice person who is red because he has a rash. Gary is both big and round, with blue features. A rough person that is cold towards others is green. I've noticed that someone who is big and acts cold towards others is green as well. A young, red person will certainly be cold. A big person that is tattooed blue will be very nice. A person who is round and nice is cold. Nice people who are big in stature often look rough. When someone is big, young and rough, they can be cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Alan is not green.
False
1
inv-proof
[(triple3)]
("Alan" "is" "green" "-")
triple3
Gary is nice.
True
3
proof
[(((triple11 triple10) -> rule4))]
("Gary" "is" "nice" "+")
((triple11 triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple11 triple10) -> rule4))]
("Gary" "is" "nice" "-")
((triple11 triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
True
5
proof
[(((((triple11 triple10) -> rule4) triple11) -> rule6))]
("Gary" "is" "rough" "+")
((((triple11 triple10) -> (rule4 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((((triple11 triple10) -> rule4) triple11) -> rule6))]
("Gary" "is" "rough" "-")
((((triple11 triple10) -> (rule4 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
True
7
proof
[(((((((triple11 triple10) -> rule4) triple9) -> rule5) triple11) -> rule2) OR ((((((triple11 triple10) -> rule4) triple11) -> rule6) ((((triple11 triple10) -> rule4) triple9) -> rule5)) -> rule1))]
("Gary" "is" "green" "+")
((((((triple11 triple10) -> (rule4 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple11 triple10) -> (rule4 % int4)) triple11) -> (rule6 % int3)) ((((triple11 triple10) -> (rule4 % int4)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is not green.
False
7
inv-proof
[(((((((triple11 triple10) -> rule4) triple9) -> rule5) triple11) -> rule2) OR ((((((triple11 triple10) -> rule4) triple11) -> rule6) ((((triple11 triple10) -> rule4) triple9) -> rule5)) -> rule1))]
("Gary" "is" "green" "-")
((((((triple11 triple10) -> (rule4 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple11 triple10) -> (rule4 % int4)) triple11) -> (rule6 % int3)) ((((triple11 triple10) -> (rule4 % int4)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Fred is green.
Unknown
rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "green" "+")
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Gary is big.[(triple11)] Gary is blue.[(triple10)] Gary is round.[(triple9)] @1: Gary is nice.[(((triple11 triple10) -> rule4))] @2: Gary is cold.[(((((triple11 triple10) -> rule4) triple9) -> rule5))] Gary is rough.[(((((triple11 triple10) -> rule4) triple11) -> rule6))] @3: Gary is green.[(((((((triple11 triple10) -> rule4) triple9) -> rule5) triple11) -> rule2) OR ((((((triple11 triple10) -> rule4) triple11) -> rule6) ((((triple11 triple10) -> rule4) triple9) -> rule5)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
((triple11 triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple11 triple10) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple11 triple10) -> (rule4 % int2)) triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((((triple11 triple10) -> (rule4 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple11 triple10) -> (rule4 % int4)) triple11) -> (rule6 % int3)) ((((triple11 triple10) -> (rule4 % int4)) triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Colored red, green, and blue, Alan is quite the round person.
When you meet Eric you'll the two characteristics that will standout is that he's red but also rough.
Fred is a nice person who is red because he has a rash.
Gary is both big and round, with blue features.
A rough person that is cold towards others is green.
I've noticed that someone who is big and acts cold towards others is green as well.
A young, red person will certainly be cold.
A big person that is tattooed blue will be very nice.
A person who is round and nice is cold.
Nice people who are big in stature often look rough.
When someone is big, young and rough, they can be cold.