Alan is blue from ink he spilled on himself while being kind and helping some children paint. Charlie ate some rotten meat and now feels green. Big, cold Fred is a nice young guy who's a bit green about things. Harry is young but big for his age and he's cold and red at the moment too. A green and blue colored person who is young will certainly be big. Nice young people who are round are also blue. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Nice people who are kind, despite their rough skin, are big hearted. A person that is the color red will definitely be round shaped. I've noticed that big people with blue and green skin tend to be young.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Fred is nice.
True
1
proof
[(triple5)]
("Fred" "is" "nice" "+")
triple5
Fred is not cold.
False
1
inv-proof
[(triple7)]
("Fred" "is" "cold" "-")
triple7
Harry is round.
True
2
proof
[(((triple10) -> rule5))]
("Harry" "is" "round" "+")
((triple10) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple10) -> rule5))]
("Harry" "is" "round" "-")
((triple10) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
True
5
proof
[(((triple12 ((triple10) -> rule5) triple10) -> rule3))]
("Harry" "is" "nice" "+")
((triple12 ((triple10) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not nice.
False
5
inv-proof
[(((triple12 ((triple10) -> rule5) triple10) -> rule3))]
("Harry" "is" "nice" "-")
((triple12 ((triple10) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
True
9
proof
[(((((triple12 ((triple10) -> rule5) triple10) -> rule3) triple9 ((triple10) -> rule5)) -> rule2))]
("Harry" "is" "blue" "+")
((((triple12 ((triple10) -> (rule5 % int3)) triple10) -> (rule3 % int2)) triple9 ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not blue.
False
9
inv-proof
[(((((triple12 ((triple10) -> rule5) triple10) -> rule3) triple9 ((triple10) -> rule5)) -> rule2))]
("Harry" "is" "blue" "-")
((((triple12 ((triple10) -> (rule5 % int3)) triple10) -> (rule3 % int2)) triple9 ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "young" "-")
Fred is blue.
Unknown
rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Fred" "is" "blue" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Alan is blue.[(triple2)] Alan is kind.[(triple1)] Charlie is green.[(triple3)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Fred is nice.[(triple5)] Fred is young.[(triple4)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Harry is round.[(((triple10) -> rule5))] @2: Harry is nice.[(((triple12 ((triple10) -> rule5) triple10) -> rule3))] @3: Harry is blue.[(((((triple12 ((triple10) -> rule5) triple10) -> rule3) triple9 ((triple10) -> rule5)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
((triple10) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple12 ((triple10) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple12 ((triple10) -> (rule5 % int3)) triple10) -> (rule3 % int2)) triple9 ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Alan is blue from ink he spilled on himself while being kind and helping some children paint.
Charlie ate some rotten meat and now feels green.
Big, cold Fred is a nice young guy who's a bit green about things.
Harry is young but big for his age and he's cold and red at the moment too.
A green and blue colored person who is young will certainly be big.
Nice young people who are round are also blue.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Nice people who are kind, despite their rough skin, are big hearted.
A person that is the color red will definitely be round shaped.
I've noticed that big people with blue and green skin tend to be young.