Alan is a rather big guy with rough features. He's pretty red and green, most of the time. Charlie is very nice to people, but he's also rather big. Red Dave is what folks call him, because he is quite red. Others enjoy Gary's company because he is so nice and kind. If the description of nice and green applies to somebody, the description of young will, too. Watch out for the rough and round kind people for they cold to others. If smeone has a blue and green color, then they are young and probably kind. People who are red and green are also nice. Young people that are big in size, tend to be more on the blue side. A blue and green colored person will be round in shape.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
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 green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Alan is big.
True
1
proof
[(triple4)]
("Alan" "is" "big" "+")
triple4
Charlie is not big.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "big" "-")
triple6
Alan is nice.
True
3
proof
[(((triple3 triple2) -> rule4))]
("Alan" "is" "nice" "+")
((triple3 triple2) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule4))]
("Alan" "is" "nice" "-")
((triple3 triple2) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
True
5
proof
[(((triple3 ((triple3 triple2) -> rule4)) -> rule1))]
("Alan" "is" "young" "+")
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not young.
False
5
inv-proof
[(((triple3 ((triple3 triple2) -> rule4)) -> rule1))]
("Alan" "is" "young" "-")
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is blue.
True
7
proof
[(((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5))]
("Alan" "is" "blue" "+")
((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not blue.
False
7
inv-proof
[(((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5))]
("Alan" "is" "blue" "-")
((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is round.
True
9
proof
[(((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule6))]
("Alan" "is" "round" "+")
((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is not kind.
False
14
inv-proof
[(((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule3))]
("Alan" "is" "kind" "-")
((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is cold.
True
25
proof
[(((triple1 ((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule6) ((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule3)) -> rule2))]
("Alan" "is" "cold" "+")
((triple1 ((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple3) -> (rule6 % int3)) ((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple3 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
int5
Alan is nice.
("Alan" "is" "nice" "+")
int6
Alan is not cold.
False
25
inv-proof
[(((triple1 ((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule6) ((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule3)) -> rule2))]
("Alan" "is" "cold" "-")
((triple1 ((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple3) -> (rule6 % int3)) ((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple3 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
int5
Alan is nice.
("Alan" "is" "nice" "+")
int6
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "blue" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is nice.[(triple5)] Dave is red.[(triple7)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] @1: Alan is nice.[(((triple3 triple2) -> rule4))] @2: Alan is young.[(((triple3 ((triple3 triple2) -> rule4)) -> rule1))] @3: Alan is blue.[(((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5))] @4: Alan is kind.[(((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule3))] Alan is round.[(((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule6))] @5: Alan is cold.[(((triple1 ((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3) -> rule6) ((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5) triple3 ((triple3 ((triple3 triple2) -> rule4)) -> rule1)) -> rule3)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple2) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 ((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple3) -> (rule6 % int3)) ((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple3 ((triple3 ((triple3 triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
int5
Alan is nice.
("Alan" "is" "nice" "+")
int6
Alan is a rather big guy with rough features; He's pretty red and green, most of the time.
Charlie is very nice to people, but he's also rather big.
Red Dave is what folks call him, because he is quite red.
Others enjoy Gary's company because he is so nice and kind.
If the description of nice and green applies to somebody, the description of young will, too.
Watch out for the rough and round kind people for they cold to others.
If smeone has a blue and green color, then they are young and probably kind.
People who are red and green are also nice.
Young people that are big in size, tend to be more on the blue side.
A blue and green colored person will be round in shape.