Young Alan knew he was round, but he hadn't realized how rough and kind he was. His green nature left him cold and numb to these facts. Charlie is big and rough. Dave was born only a few years ago so he is young. Harry ate some rotten meat and now feels green. Kind young people are red. Soon you will understand that big people are nice. When you meet big guys with red hair, then tend to be cold hearted. When anyone is young, red and green, you know they'll also be blue. Being blue, cold, and rough must be very trying. At least they are also big. People who are rough are often rather kind as well.
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Alan is round.
True
1
proof
[(triple2)]
("Alan" "is" "round" "+")
triple2
Alan is not rough.
False
1
inv-proof
[(triple3)]
("Alan" "is" "rough" "-")
triple3
Charlie is kind.
True
2
proof
[(((triple7) -> rule6))]
("Charlie" "is" "kind" "+")
((triple7) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple4 triple1) -> rule1) OR ((((triple3) -> rule6) triple1) -> rule1))]
("Alan" "is" "red" "-")
((triple4 triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
((((triple3) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
True
6
proof
[(((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) OR ((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4))]
("Alan" "is" "blue" "+")
((((triple4 triple1) -> (rule1 % int2)) triple1 triple5) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((((triple3) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple1 triple5) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not blue.
False
6
inv-proof
[(((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) OR ((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4))]
("Alan" "is" "blue" "-")
((((triple4 triple1) -> (rule1 % int2)) triple1 triple5) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((((triple3) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple1 triple5) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
True
9
proof
[(((((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5) OR ((((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5))]
("Alan" "is" "big" "+")
((((((triple4 triple1) -> (rule1 % int3)) triple1 triple5) -> (rule4 % int2)) triple6 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((((((triple3) -> (rule6 % int4)) triple1) -> (rule1 % int3)) triple1 triple5) -> (rule4 % int2)) triple6 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is not big.
False
9
inv-proof
[(((((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5) OR ((((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5))]
("Alan" "is" "big" "-")
((((((triple4 triple1) -> (rule1 % int3)) triple1 triple5) -> (rule4 % int2)) triple6 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((((((triple3) -> (rule6 % int4)) triple1) -> (rule1 % int3)) triple1 triple5) -> (rule4 % int2)) triple6 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is nice.
True
10
proof
[(((((((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5)) -> rule2) OR ((((((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5)) -> rule2))]
("Alan" "is" "nice" "+")
((((((((triple4 triple1) -> (rule1 % int4)) triple1 triple5) -> (rule4 % int3)) triple6 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
((((((((((triple3) -> (rule6 % int5)) triple1) -> (rule1 % int4)) triple1 triple5) -> (rule4 % int3)) triple6 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
Alan is not nice.
False
10
inv-proof
[(((((((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5)) -> rule2) OR ((((((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5)) -> rule2))]
("Alan" "is" "nice" "-")
((((((((triple4 triple1) -> (rule1 % int4)) triple1 triple5) -> (rule4 % int3)) triple6 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
((((((((((triple3) -> (rule6 % int5)) triple1) -> (rule1 % int4)) triple1 triple5) -> (rule4 % int3)) triple6 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Dave" "is" "red" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Alan is cold.[(triple6)] Alan is green.[(triple5)] Alan is kind.[(triple4 OR ((triple3) -> rule6))] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple8)] Charlie is rough.[(triple7)] Dave is young.[(triple9)] Harry is green.[(triple10)] @1: Alan is red.[(((triple4 triple1) -> rule1) OR ((((triple3) -> rule6) triple1) -> rule1))] Charlie is kind.[(((triple7) -> rule6))] Charlie is nice.[(((triple8) -> rule2))] @2: Alan is blue.[(((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) OR ((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4))] @3: Alan is big.[(((((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5) OR ((((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5))] @4: Alan is nice.[(((((((((triple4 triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5)) -> rule2) OR ((((((((((triple3) -> rule6) triple1) -> rule1) triple1 triple5) -> rule4) triple6 triple3) -> rule5)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple6
Alan is green.
("Alan" "is" "green" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
((triple3) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Alan is red.
("Alan" "is" "red" "+")
((triple4 triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
((((triple3) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple7) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple8) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple4 triple1) -> (rule1 % int2)) triple1 triple5) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((((triple3) -> (rule6 % int3)) triple1) -> (rule1 % int2)) triple1 triple5) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((((((triple4 triple1) -> (rule1 % int3)) triple1 triple5) -> (rule4 % int2)) triple6 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((((((triple3) -> (rule6 % int4)) triple1) -> (rule1 % int3)) triple1 triple5) -> (rule4 % int2)) triple6 triple3) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is nice.
("Alan" "is" "nice" "+")
((((((((triple4 triple1) -> (rule1 % int4)) triple1 triple5) -> (rule4 % int3)) triple6 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
((((((((((triple3) -> (rule6 % int5)) triple1) -> (rule1 % int4)) triple1 triple5) -> (rule4 % int3)) triple6 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
int5
Young Alan knew he was round, but he hadn't realized how rough and kind he was; His green nature left him cold and numb to these facts.
Charlie is big and rough.
Dave was born only a few years ago so he is young.
Harry ate some rotten meat and now feels green.
Kind young people are red.
Soon you will understand that big people are nice.
When you meet big guys with red hair, then tend to be cold hearted.
When anyone is young, red and green, you know they'll also be blue.
Being blue, cold, and rough must be very trying; At least they are also big.
People who are rough are often rather kind as well.