Alan is rough around the edges but very kind. He is round which makes him feel blue and he is green with envy when he sees skinny people. That guy Eric is big, but he's always kind to little ones. Harry is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Anyone who manages to be round, blue, and green must be pretty big. Young round blue people are also big people. Red, kind, rough people are the young ones. A round and blue individual will also be a cold individual. Kind and blue people,though young,tend to be big. A cold person, who is kind in nature and young in years, is round. A big, green person who is cold is assumed to be red also.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Alan is blue.
True
1
proof
[(triple5)]
("Alan" "is" "blue" "+")
triple5
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Alan is big.
True
4
proof
[(((triple1 triple5 triple4) -> rule1))]
("Alan" "is" "big" "+")
((triple1 triple5 triple4) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Harry is not young.
False
4
inv-proof
[(((triple9 triple10 triple8) -> rule3))]
("Harry" "is" "young" "-")
((triple9 triple10 triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Alan is red.
True
9
proof
[(((triple4 ((triple1 triple5 triple4) -> rule1) ((triple1 triple5) -> rule4)) -> rule7))]
("Alan" "is" "red" "+")
((triple4 ((triple1 triple5 triple4) -> (rule1 % int3)) ((triple1 triple5) -> (rule4 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not red.
False
9
inv-proof
[(((triple4 ((triple1 triple5 triple4) -> rule1) ((triple1 triple5) -> rule4)) -> rule7))]
("Alan" "is" "red" "-")
((triple4 ((triple1 triple5 triple4) -> (rule1 % int3)) ((triple1 triple5) -> (rule4 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is young.
True
12
proof
[(((((triple4 ((triple1 triple5 triple4) -> rule1) ((triple1 triple5) -> rule4)) -> rule7) triple3 triple2) -> rule3))]
("Alan" "is" "young" "+")
((((triple4 ((triple1 triple5 triple4) -> (rule1 % int4)) ((triple1 triple5) -> (rule4 % int3))) -> (rule7 % int2)) triple3 triple2) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is not young.
False
12
inv-proof
[(((((triple4 ((triple1 triple5 triple4) -> rule1) ((triple1 triple5) -> rule4)) -> rule7) triple3 triple2) -> rule3))]
("Alan" "is" "young" "-")
((((triple4 ((triple1 triple5 triple4) -> (rule1 % int4)) ((triple1 triple5) -> (rule4 % int3))) -> (rule7 % int2)) triple3 triple2) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "red" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is blue.[(triple5)] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Eric is big.[(triple7)] Eric is kind.[(triple6)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] @1: Alan is big.[(((triple1 triple5 triple4) -> rule1))] Alan is cold.[(((triple1 triple5) -> rule4))] Harry is young.[(((triple9 triple10 triple8) -> rule3))] @2: Alan is red.[(((triple4 ((triple1 triple5 triple4) -> rule1) ((triple1 triple5) -> rule4)) -> rule7))] @3: Alan is young.[(((((triple4 ((triple1 triple5 triple4) -> rule1) ((triple1 triple5) -> rule4)) -> rule7) triple3 triple2) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Alan is big.
("Alan" "is" "big" "+")
((triple1 triple5 triple4) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple5) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9 triple10 triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple4 ((triple1 triple5 triple4) -> (rule1 % int3)) ((triple1 triple5) -> (rule4 % int2))) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
((((triple4 ((triple1 triple5 triple4) -> (rule1 % int4)) ((triple1 triple5) -> (rule4 % int3))) -> (rule7 % int2)) triple3 triple2) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is rough around the edges but very kind; He is round which makes him feel blue and he is green with envy when he sees skinny people.
That guy Eric is big, but he's always kind to little ones.
Harry is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
Anyone who manages to be round, blue, and green must be pretty big.
Young round blue people are also big people.
Red, kind, rough people are the young ones.
A round and blue individual will also be a cold individual.
Kind and blue people,though young,tend to be big.
A cold person, who is kind in nature and young in years, is round.
A big, green person who is cold is assumed to be red also.