Alan is a very kind, green but sometimes cold person. Charlie is a big gentleman who is very nice. He is secretly green with envy. Dave is known to be rough and green. Fred ate some rotten meat and now feels green. Soon you will understand that big people are nice. Any human being with green, big, kind eyes, also has round eyes. Rough people who are nice and have green thumbs are almost always young. Nice people who are big in stature often look rough. If someone is feeling blue and round in shape they are usually nice. People who are rough are often rather kind as well.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Alan is cold.
True
1
proof
[(triple3)]
("Alan" "is" "cold" "+")
triple3
Charlie is not green.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "green" "-")
triple5
Charlie is rough.
True
3
proof
[(((triple4 triple6) -> rule4) OR ((((triple6) -> rule1) triple6) -> rule4))]
("Charlie" "is" "rough" "+")
((triple4 triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not rough.
False
3
inv-proof
[(((triple4 triple6) -> rule4) OR ((((triple6) -> rule1) triple6) -> rule4))]
("Charlie" "is" "rough" "-")
((triple4 triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
True
6
proof
[(((triple4 triple5 ((triple4 triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule1) triple5 ((triple4 triple6) -> rule4)) -> rule3) OR ((triple4 triple5 ((((triple6) -> rule1) triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule1) triple5 ((((triple6) -> rule1) triple6) -> rule4)) -> rule3))]
("Charlie" "is" "young" "+")
((triple4 triple5 ((triple4 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule1 % int3)) triple5 ((triple4 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple4 triple5 ((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple6) -> (rule1 % int3)) triple5 ((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not young.
False
6
inv-proof
[(((triple4 triple5 ((triple4 triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule1) triple5 ((triple4 triple6) -> rule4)) -> rule3) OR ((triple4 triple5 ((((triple6) -> rule1) triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule1) triple5 ((((triple6) -> rule1) triple6) -> rule4)) -> rule3))]
("Charlie" "is" "young" "-")
((triple4 triple5 ((triple4 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule1 % int3)) triple5 ((triple4 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple4 triple5 ((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple6) -> (rule1 % int3)) triple5 ((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
True
7
proof
[(((triple5 triple6 ((((triple4 triple6) -> rule4)) -> rule6)) -> rule2) OR ((triple5 triple6 ((((((triple6) -> rule1) triple6) -> rule4)) -> rule6)) -> rule2))]
("Charlie" "is" "round" "+")
((triple5 triple6 ((((triple4 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 triple6 ((((((triple6) -> (rule1 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is not round.
False
7
inv-proof
[(((triple5 triple6 ((((triple4 triple6) -> rule4)) -> rule6)) -> rule2) OR ((triple5 triple6 ((((((triple6) -> rule1) triple6) -> rule4)) -> rule6)) -> rule2))]
("Charlie" "is" "round" "-")
((triple5 triple6 ((((triple4 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 triple6 ((((((triple6) -> (rule1 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is nice.[(triple4 OR ((triple6) -> rule1))] Dave is green.[(triple8)] Dave is rough.[(triple7)] Fred is green.[(triple9)] @1: Charlie is rough.[(((triple4 triple6) -> rule4) OR ((((triple6) -> rule1) triple6) -> rule4))] Dave is kind.[(((triple7) -> rule6))] @2: Charlie is kind.[(((((triple4 triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule1) triple6) -> rule4)) -> rule6))] Charlie is young.[(((triple4 triple5 ((triple4 triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule1) triple5 ((triple4 triple6) -> rule4)) -> rule3) OR ((triple4 triple5 ((((triple6) -> rule1) triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule1) triple5 ((((triple6) -> rule1) triple6) -> rule4)) -> rule3))] @3: Charlie is round.[(((triple5 triple6 ((((triple4 triple6) -> rule4)) -> rule6)) -> rule2) OR ((triple5 triple6 ((((((triple6) -> rule1) triple6) -> rule4)) -> rule6)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
((triple6) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple7) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple4 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 triple5 ((triple4 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule1 % int3)) triple5 ((triple4 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple4 triple5 ((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple6) -> (rule1 % int3)) triple5 ((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple5 triple6 ((((triple4 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 triple6 ((((((triple6) -> (rule1 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Alan is a very kind, green but sometimes cold person.
Charlie is a big gentleman who is very nice; He is secretly green with envy.
Dave is known to be rough and green.
Fred ate some rotten meat and now feels green.
Soon you will understand that big people are nice.
Any human being with green, big, kind eyes, also has round eyes.
Rough people who are nice and have green thumbs are almost always young.
Nice people who are big in stature often look rough.
If someone is feeling blue and round in shape they are usually nice.
People who are rough are often rather kind as well.