Alan had big, red, round cheeks. Bob wears all blue. Charlie was feeling red with anger after the fight, but he was still a nice but big human being. Harry is young, rough and green, but he turns blue when he is cold like anyone else. Young people who are feeling green and cold are kind. Anybody that is big is also someone who is going to be blue. When you meet someone with cold, rough skin and a round figure they will be nice. Red people who are green and blue are always kind. Young and kind people, that also tend to be cold, are then considered green. Being big and blue is standard for being green.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and green and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind and cold then they are green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Harry is young.
True
1
proof
[(triple8)]
("Harry" "is" "young" "+")
triple8
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Alan is blue.
True
2
proof
[(((triple3) -> rule2))]
("Alan" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("Alan" "is" "blue" "-")
((triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
True
4
proof
[(((triple3 ((triple3) -> rule2)) -> rule6))]
("Alan" "is" "green" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not green.
False
4
inv-proof
[(((triple3 ((triple3) -> rule2)) -> rule6))]
("Alan" "is" "green" "-")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is kind.
True
8
proof
[(((triple2 ((triple3) -> rule2) ((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4))]
("Alan" "is" "kind" "+")
((triple2 ((triple3) -> (rule2 % int3)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not kind.
False
8
inv-proof
[(((triple2 ((triple3) -> rule2) ((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4))]
("Alan" "is" "kind" "-")
((triple2 ((triple3) -> (rule2 % int3)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple4)] Charlie is big.[(triple7)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Alan is blue.[(((triple3) -> rule2))] Charlie is blue.[(((triple7) -> rule2))] Harry is kind.[(((triple8 triple10 triple11) -> rule1))] @2: Alan is green.[(((triple3 ((triple3) -> rule2)) -> rule6))] Charlie is green.[(((triple7 ((triple7) -> rule2)) -> rule6))] @3: Alan is kind.[(((triple2 ((triple3) -> rule2) ((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4))] Charlie is kind.[(((triple5 ((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule6)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 triple10 triple11) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 ((triple3) -> (rule2 % int3)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 ((triple7) -> (rule2 % int3)) ((triple7 ((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Alan had big, red, round cheeks.
Bob wears all blue.
Charlie was feeling red with anger after the fight, but he was still a nice but big human being.
Harry is young, rough and green, but he turns blue when he is cold like anyone else.
Young people who are feeling green and cold are kind.
Anybody that is big is also someone who is going to be blue.
When you meet someone with cold, rough skin and a round figure they will be nice.
Red people who are green and blue are always kind.
Young and kind people, that also tend to be cold, are then considered green.
Being big and blue is standard for being green.