Alan, is a rather young, rough, and round person who is considered kind.  Today however he is red from a sunburn and looks green after seeing some rather rotten trash. Dave is a very kind, green but sometimes cold person. Eric was born only a few years ago so he is young. Gary always goes out of his way to show that he is kind to people. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. Blue people who are big tend to be rough. A human being described as rough, nice and round will also fit the description of being cold. A person who is red and green, will also tend to be round shaped and rough. If someone is kind, green, and round sized, then they are typically nice people. A blue individual that is kind and nice to others also has a rough appearance. If you run into a cold and kind person, they are always big.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is big and green and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("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 kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Alan is kind.
True
1
proof
[(triple5)]
("Alan" "is" "kind" "+")
triple5
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Dave is big.
True
3
proof
[(((triple9 triple7) -> rule7))]
("Dave" "is" "big" "+")
((triple9 triple7) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple9 triple7) -> rule7))]
("Dave" "is" "big" "-")
((triple9 triple7) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Alan is cold.
True
7
proof
[(((triple3 triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) OR ((((triple2 triple6 triple4) -> rule4) triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3))]
("Alan" "is" "cold" "+")
((triple3 triple2 ((triple5 triple6 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
((((triple2 triple6 triple4) -> (rule4 % int3)) triple2 ((triple5 triple6 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not cold.
False
7
inv-proof
[(((triple3 triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) OR ((((triple2 triple6 triple4) -> rule4) triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3))]
("Alan" "is" "cold" "-")
((triple3 triple2 ((triple5 triple6 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
((((triple2 triple6 triple4) -> (rule4 % int3)) triple2 ((triple5 triple6 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is big.
True
9
proof
[(((((triple3 triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) triple5) -> rule7) OR ((((((triple2 triple6 triple4) -> rule4) triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) triple5) -> rule7))]
("Alan" "is" "big" "+")
((((triple3 triple2 ((triple5 triple6 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((((triple2 triple6 triple4) -> (rule4 % int4)) triple2 ((triple5 triple6 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is not big.
False
9
inv-proof
[(((((triple3 triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) triple5) -> rule7) OR ((((((triple2 triple6 triple4) -> rule4) triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) triple5) -> rule7))]
("Alan" "is" "big" "-")
((((triple3 triple2 ((triple5 triple6 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((((triple2 triple6 triple4) -> (rule4 % int4)) triple2 ((triple5 triple6 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "big" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is green.[(triple6)] Alan is kind.[(triple5)] Alan is red.[(triple4)] Alan is rough.[(triple3 OR ((triple2 triple6 triple4) -> rule4))] Alan is round.[(triple2)] Alan is young.[(triple1)] Dave is cold.[(triple9)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Eric is young.[(triple10)] Gary is kind.[(triple11)] @1: Alan is nice.[(((triple5 triple6 triple2) -> rule5))] Dave is big.[(((triple9 triple7) -> rule7))] @2: Alan is cold.[(((triple3 triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) OR ((((triple2 triple6 triple4) -> rule4) triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3))] @3: Alan is big.[(((((triple3 triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) triple5) -> rule7) OR ((((((triple2 triple6 triple4) -> rule4) triple2 ((triple5 triple6 triple2) -> rule5)) -> rule3) triple5) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple6
Alan is kind.
("Alan" "is" "kind" "+")
triple5
Alan is red.
("Alan" "is" "red" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
((triple2 triple6 triple4) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Alan is nice.
("Alan" "is" "nice" "+")
((triple5 triple6 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple9 triple7) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple2 ((triple5 triple6 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
((((triple2 triple6 triple4) -> (rule4 % int3)) triple2 ((triple5 triple6 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((((triple3 triple2 ((triple5 triple6 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((((triple2 triple6 triple4) -> (rule4 % int4)) triple2 ((triple5 triple6 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan, is a rather young, rough, and round person who is considered kind; Today however he is red from a sunburn and looks green after seeing some rather rotten trash.
Dave is a very kind, green but sometimes cold person.
Eric was born only a few years ago so he is young.
Gary always goes out of his way to show that he is kind to people.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
Blue people who are big tend to be rough.
A human being described as rough, nice and round will also fit the description of being cold.
A person who is red and green, will also tend to be round shaped and rough.
If someone is kind, green, and round sized, then they are typically nice people.
A blue individual that is kind and nice to others also has a rough appearance.
If you run into a cold and kind person, they are always big.