Alan is big and red, but he's young and will grow out of it. Even though Charlie is big and round, he is cold much of the time. Dave is nice and kind, but a little rough. Harry is very nice to people, but he's also rather big. Big, kind people that are rough are known for being red. Big and cold people tend to see red and dont live green lifestyle. I've noticed that someone with a round shape is also green. Big, blue people are red. If a person is red, kind, and nice then they must be round. Nice people who are kind, despite their rough skin, are big hearted.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple6)]
("Charlie" "is" "big" "+")
triple6
Dave is not rough.
False
1
inv-proof
[(triple7)]
("Dave" "is" "rough" "-")
triple7
Dave is big.
True
4
proof
[(((triple9 triple8 triple7) -> rule6))]
("Dave" "is" "big" "+")
((triple9 triple8 triple7) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
4
inv-proof
[(((triple9 triple8 triple7) -> rule6))]
("Dave" "is" "big" "-")
((triple9 triple8 triple7) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
True
7
proof
[(((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1))]
("Dave" "is" "red" "+")
((((triple9 triple8 triple7) -> (rule6 % int2)) triple9 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not red.
False
7
inv-proof
[(((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1))]
("Dave" "is" "red" "-")
((((triple9 triple8 triple7) -> (rule6 % int2)) triple9 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
True
10
proof
[(((triple8 ((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1) triple9) -> rule5))]
("Dave" "is" "round" "+")
((triple8 ((((triple9 triple8 triple7) -> (rule6 % int3)) triple9 triple7) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not round.
False
10
inv-proof
[(((triple8 ((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1) triple9) -> rule5))]
("Dave" "is" "round" "-")
((triple8 ((((triple9 triple8 triple7) -> (rule6 % int3)) triple9 triple7) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is green.
True
11
proof
[(((((triple8 ((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1) triple9) -> rule5)) -> rule3))]
("Dave" "is" "green" "+")
((((triple8 ((((triple9 triple8 triple7) -> (rule6 % int4)) triple9 triple7) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not green.
False
11
inv-proof
[(((((triple8 ((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1) triple9) -> rule5)) -> rule3))]
("Dave" "is" "green" "-")
((((triple8 ((((triple9 triple8 triple7) -> (rule6 % int4)) triple9 triple7) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "green" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is round.[(triple4)] Dave is kind.[(triple9)] Dave is nice.[(triple8)] Dave is rough.[(triple7)] Harry is big.[(triple11)] Harry is nice.[(triple10)] @1: Charlie is green.[(((triple4) -> rule3))] Dave is big.[(((triple9 triple8 triple7) -> rule6))] @2: Dave is red.[(((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1))] @3: Dave is round.[(((triple8 ((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1) triple9) -> rule5))] @4: Dave is green.[(((((triple8 ((((triple9 triple8 triple7) -> rule6) triple9 triple7) -> rule1) triple9) -> rule5)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple4) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple9 triple8 triple7) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple9 triple8 triple7) -> (rule6 % int2)) triple9 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple8 ((((triple9 triple8 triple7) -> (rule6 % int3)) triple9 triple7) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((((triple8 ((((triple9 triple8 triple7) -> (rule6 % int4)) triple9 triple7) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Alan is big and red, but he's young and will grow out of it.
Even though Charlie is big and round, he is cold much of the time.
Dave is nice and kind, but a little rough.
Harry is very nice to people, but he's also rather big.
Big, kind people that are rough are known for being red.
Big and cold people tend to see red and dont live green lifestyle.
I've noticed that someone with a round shape is also green.
Big, blue people are red.
If a person is red, kind, and nice then they must be round.
Nice people who are kind, despite their rough skin, are big hearted.