Red Alan is what folks call him, because he is quite red. Dave is very nice to people, but he's also rather big. Gary is both big and round, with blue features. Nice, but round, Harry has been said to be cold. A cold person who is round but rough around the edges is big. A person fitting the description of rough, cold and red will also be a nice person. I've noticed that someone with a round shape is also green. Most green and round people,though big are quite young. People who are blue and cold are red. A green person is going to be rough. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Alan is red.
("Alan" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
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 blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Dave is big.
True
1
proof
[(triple3)]
("Dave" "is" "big" "+")
triple3
Dave is not nice.
False
1
inv-proof
[(triple2)]
("Dave" "is" "nice" "-")
triple2
Harry is green.
True
2
proof
[(((triple7) -> rule3))]
("Harry" "is" "green" "+")
((triple7) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple7) -> rule3))]
("Harry" "is" "green" "-")
((triple7) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
True
3
proof
[(((((triple7) -> rule3)) -> rule6))]
("Harry" "is" "rough" "+")
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Gary is not rough.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule6))]
("Gary" "is" "rough" "-")
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
True
7
proof
[(((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7))]
("Gary" "is" "cold" "+")
((triple5 ((((triple4) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule3 % int3))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not cold.
False
7
inv-proof
[(((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7))]
("Gary" "is" "cold" "-")
((triple5 ((((triple4) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule3 % int3))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
True
9
proof
[(((triple5 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7)) -> rule5))]
("Gary" "is" "red" "+")
((triple5 ((triple5 ((((triple4) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Harry is not young.
False
10
inv-proof
[(((((triple7) -> rule3) triple7 ((triple7 triple9 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule4))]
("Harry" "is" "young" "-")
((((triple7) -> (rule3 % int4)) triple7 ((triple7 triple9 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Gary is nice.
True
20
proof
[(((((((triple4) -> rule3)) -> rule6) ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7) ((triple5 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7)) -> rule5)) -> rule2))]
("Gary" "is" "nice" "+")
((((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple4) -> (rule3 % int5))) -> (rule7 % int3)) ((triple5 ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple4) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is not nice.
False
20
inv-proof
[(((((((triple4) -> rule3)) -> rule6) ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7) ((triple5 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7)) -> rule5)) -> rule2))]
("Gary" "is" "nice" "-")
((((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple4) -> (rule3 % int5))) -> (rule7 % int3)) ((triple5 ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple4) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Alan" "is" "nice" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Alan is red.[(triple1)] Dave is big.[(triple3)] Dave is nice.[(triple2)] Gary is big.[(triple6 OR ((triple4 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7) ((((triple4) -> rule3)) -> rule6)) -> rule1))] Gary is blue.[(triple5)] Gary is round.[(triple4)] Harry is cold.[(triple9)] Harry is nice.[(triple8)] Harry is round.[(triple7)] @1: Gary is green.[(((triple4) -> rule3))] Harry is green.[(((triple7) -> rule3))] @2: Gary is rough.[(((((triple4) -> rule3)) -> rule6))] Gary is young.[(((((triple4) -> rule3) triple4 triple6) -> rule4) OR ((((triple4) -> rule3) triple4 ((triple4 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7) ((((triple4) -> rule3)) -> rule6)) -> rule1)) -> rule4))] Harry is rough.[(((((triple7) -> rule3)) -> rule6))] @3: Gary is cold.[(((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7))] Harry is big.[(((triple7 triple9 ((((triple7) -> rule3)) -> rule6)) -> rule1))] @4: Gary is red.[(((triple5 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7)) -> rule5))] Harry is young.[(((((triple7) -> rule3) triple7 ((triple7 triple9 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule4))] @5: Gary is nice.[(((((((triple4) -> rule3)) -> rule6) ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7) ((triple5 ((triple5 ((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule7)) -> rule5)) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple6
((triple4 ((triple5 ((((triple4) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4) -> (rule3 % int4))) -> (rule7 % int2)) ((((triple4) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
((triple4) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple7) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple4) -> (rule3 % int2)) triple4 triple6) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple4) -> (rule3 % int5)) triple4 ((triple4 ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple4) -> (rule3 % int5))) -> (rule7 % int3)) ((((triple4) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple5 ((((triple4) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule3 % int3))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((triple7 triple9 ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
((triple5 ((triple5 ((((triple4) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple7) -> (rule3 % int4)) triple7 ((triple7 triple9 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple4) -> (rule3 % int5))) -> (rule7 % int3)) ((triple5 ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule6 % int4)) ((triple4) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Red Alan is what folks call him, because he is quite red.
Dave is very nice to people, but he's also rather big.
Gary is both big and round, with blue features.
Nice, but round, Harry has been said to be cold.
A cold person who is round but rough around the edges is big.
A person fitting the description of rough, cold and red will also be a nice person.
I've noticed that someone with a round shape is also green.
Most green and round people,though big are quite young.
People who are blue and cold are red.
A green person is going to be rough.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.