Alan is known for being big and rough. Some people have found out he is cold and blue as well. What many people do not know, it that he is also very nice. Charlie is big and rough. Fred is a red person who is round and also feels blue. Even though he's a big dude, Gary is cold. We called someone with green, round eyes, blue for some reason. Cold people,though green and red,tend to be rough. Watch out for the rough and round kind people for they cold to others. A big, blue person who is kind is also round. A person with the qualities of being cold and being red will also be a person that is green. Red and round people will be cold even in the summer. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Alan is big.
True
1
proof
[(triple5)]
("Alan" "is" "big" "+")
triple5
Charlie is not big.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "big" "-")
triple7
Fred is cold.
True
3
proof
[(((triple9 triple8) -> rule6))]
("Fred" "is" "cold" "+")
((triple9 triple8) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple9 triple8) -> rule6))]
("Fred" "is" "cold" "-")
((triple9 triple8) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
True
5
proof
[(((((triple9 triple8) -> rule6) triple9) -> rule5))]
("Fred" "is" "green" "+")
((((triple9 triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not green.
False
5
inv-proof
[(((((triple9 triple8) -> rule6) triple9) -> rule5))]
("Fred" "is" "green" "-")
((((triple9 triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is rough.
True
10
proof
[(((((triple9 triple8) -> rule6) ((((triple9 triple8) -> rule6) triple9) -> rule5) triple9) -> rule2))]
("Fred" "is" "rough" "+")
((((triple9 triple8) -> (rule6 % int3)) ((((triple9 triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not rough.
False
10
inv-proof
[(((((triple9 triple8) -> rule6) ((((triple9 triple8) -> rule6) triple9) -> rule5) triple9) -> rule2))]
("Fred" "is" "rough" "-")
((((triple9 triple8) -> (rule6 % int3)) ((((triple9 triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "young" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple7)] Charlie is rough.[(triple6)] Fred is blue.[(triple10 OR ((((((triple9 triple8) -> rule6) triple9) -> rule5) triple8) -> rule1))] Fred is red.[(triple9)] Fred is round.[(triple8)] Gary is big.[(triple12)] Gary is cold.[(triple11)] @1: Fred is cold.[(((triple9 triple8) -> rule6))] @2: Fred is green.[(((((triple9 triple8) -> rule6) triple9) -> rule5))] @3: Fred is rough.[(((((triple9 triple8) -> rule6) ((((triple9 triple8) -> rule6) triple9) -> rule5) triple9) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple10
((((((triple9 triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
((triple9 triple8) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple9 triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((triple9 triple8) -> (rule6 % int3)) ((((triple9 triple8) -> (rule6 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Alan is known for being big and rough; Some people have found out he is cold and blue as well; What many people do not know, it that he is also very nice.
Charlie is big and rough.
Fred is a red person who is round and also feels blue.
Even though he's a big dude, Gary is cold.
We called someone with green, round eyes, blue for some reason.
Cold people,though green and red,tend to be rough.
Watch out for the rough and round kind people for they cold to others.
A big, blue person who is kind is also round.
A person with the qualities of being cold and being red will also be a person that is green.
Red and round people will be cold even in the summer.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.