Alan who is big in stature and round in shape is kind even when he feels cold or rough due to sunburn turning him red. People think that Eric is round. This might be because he is young and blue. Gary gets red when he is mad and tends to act very cold. They always call him rough Harry. Blue kind people are almost always nice to others. Rough people are often always nice. Most green and round people,though big are quite young. If a nice person is round shaped, they feel blue about it. People who are nice and cold are also green.
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 cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Eric is round.
True
1
proof
[(triple8)]
("Eric" "is" "round" "+")
triple8
Alan is not rough.
False
1
inv-proof
[(triple2)]
("Alan" "is" "rough" "-")
triple2
Harry is nice.
True
2
proof
[(((triple12) -> rule2))]
("Harry" "is" "nice" "+")
((triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple12) -> rule2))]
("Harry" "is" "nice" "-")
((triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Alan is green.
True
4
proof
[(((((triple2) -> rule2) triple5) -> rule5))]
("Alan" "is" "green" "+")
((((triple2) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not blue.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule4))]
("Alan" "is" "blue" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
True
7
proof
[(((((((triple2) -> rule2) triple5) -> rule5) triple1 triple6) -> rule3))]
("Alan" "is" "young" "+")
((((((triple2) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple1 triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not young.
False
7
inv-proof
[(((((((triple2) -> rule2) triple5) -> rule5) triple1 triple6) -> rule3))]
("Alan" "is" "young" "-")
((((((triple2) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple1 triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Alan is big.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Eric is blue.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Gary is cold.[(triple11)] Gary is red.[(triple10)] Harry is rough.[(triple12)] @1: Alan is nice.[(((triple2) -> rule2))] Harry is nice.[(((triple12) -> rule2))] @2: Alan is blue.[(((((triple2) -> rule2) triple1) -> rule4))] Alan is green.[(((((triple2) -> rule2) triple5) -> rule5))] @3: Alan is young.[(((((((triple2) -> rule2) triple5) -> rule5) triple1 triple6) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Alan is nice.
("Alan" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((((triple2) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((((triple2) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple1 triple6) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan who is big in stature and round in shape is kind even when he feels cold or rough due to sunburn turning him red.
People think that Eric is round; This might be because he is young and blue.
Gary gets red when he is mad and tends to act very cold.
They always call him rough Harry.
Blue kind people are almost always nice to others.
Rough people are often always nice.
Most green and round people,though big are quite young.
If a nice person is round shaped, they feel blue about it.
People who are nice and cold are also green.