Although Alan is seen as nice and round, his days of playing football have made him quite rough. That guy Charlie is big, but he's always kind to little ones. Eric is blue because he is cold. His skin is red and rough but that doesn't matter because he is also very young. Harry was born only a few years ago so he is young. Young, green round people are big. Lucky for us, people that are round and red are kind to strangers. When a nice blue person is also red, they get called rough. Cold, red people are generally kind and big. When someone is blue, lives green they can be rough but kind. You can see that cold, blue people are round in shape. Young and nice people are ultimately cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Eric is cold.
True
1
proof
[(triple9)]
("Eric" "is" "cold" "+")
triple9
Eric is not cold.
False
1
inv-proof
[(triple9)]
("Eric" "is" "cold" "-")
triple9
Eric is round.
True
3
proof
[(((triple9 triple10) -> rule6))]
("Eric" "is" "round" "+")
((triple9 triple10) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple9 triple10) -> rule6))]
("Eric" "is" "round" "-")
((triple9 triple10) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
True
5
proof
[(((((triple9 triple10) -> rule6) triple8) -> rule2))]
("Eric" "is" "kind" "+")
((((triple9 triple10) -> (rule6 % int2)) triple8) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((((triple9 triple10) -> rule6) triple8) -> rule2))]
("Eric" "is" "kind" "-")
((((triple9 triple10) -> (rule6 % int2)) triple8) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
True
8
proof
[(((((((triple9 triple10) -> rule6) triple8) -> rule2) triple8 triple9) -> rule4))]
("Eric" "is" "big" "+")
((((((triple9 triple10) -> (rule6 % int3)) triple8) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not big.
False
8
inv-proof
[(((((((triple9 triple10) -> rule6) triple8) -> rule2) triple8 triple9) -> rule4))]
("Eric" "is" "big" "-")
((((((triple9 triple10) -> (rule6 % int3)) triple8) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "cold" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple5)] Charlie is kind.[(triple4)] Eric is blue.[(triple10)] Eric is cold.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Harry is young.[(triple11)] @1: Eric is round.[(((triple9 triple10) -> rule6))] @2: Eric is kind.[(((((triple9 triple10) -> rule6) triple8) -> rule2))] @3: Eric is big.[(((((((triple9 triple10) -> rule6) triple8) -> rule2) triple8 triple9) -> rule4))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple11
Eric is round.
("Eric" "is" "round" "+")
((triple9 triple10) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple9 triple10) -> (rule6 % int2)) triple8) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((((triple9 triple10) -> (rule6 % int3)) triple8) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Although Alan is seen as nice and round, his days of playing football have made him quite rough.
That guy Charlie is big, but he's always kind to little ones.
Eric is blue because he is cold; His skin is red and rough but that doesn't matter because he is also very young.
Harry was born only a few years ago so he is young.
Young, green round people are big.
Lucky for us, people that are round and red are kind to strangers.
When a nice blue person is also red, they get called rough.
Cold, red people are generally kind and big.
When someone is blue, lives green they can be rough but kind.
You can see that cold, blue people are round in shape.
Young and nice people are ultimately cold.