Alan is young, he is also red and green. Charlie is round shaped and green colored. Harry lives at home with his parents who tell him he is too young to live on his own. Harry is a big blue guy with red rings around his ankles and rough patchy skin. Harry is always cold inside or out. A round shaped and rough person will be blue as well. Red and round people are nice to others even though they are big. Young round folks who are at least a bit red are actually nice. Any big, kind person that turns red is cold to the touch. Being a young, round and kind individual means that you are also a blue individual. I've noticed that someone who is big and acts cold towards others is green as well. A person that is the color red will definitely be round shaped.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Alan is round.
True
2
proof
[(((triple2) -> rule7))]
("Alan" "is" "round" "+")
((triple2) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple8) -> rule7))]
("Harry" "is" "round" "-")
((triple8) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is nice.
True
5
proof
[(((triple2 ((triple2) -> rule7) triple1) -> rule3))]
("Alan" "is" "nice" "+")
((triple2 ((triple2) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Harry is not nice.
False
5
inv-proof
[(((triple8 ((triple8) -> rule7) triple6) -> rule3))]
("Harry" "is" "nice" "-")
((triple8 ((triple8) -> (rule7 % int2)) triple6) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Alan is big.
True
9
proof
[(((((triple2 ((triple2) -> rule7) triple1) -> rule3) ((triple2) -> rule7) triple2) -> rule2))]
("Alan" "is" "big" "+")
((((triple2 ((triple2) -> (rule7 % int3)) triple1) -> (rule3 % int2)) ((triple2) -> (rule7 % int3)) triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not big.
False
9
inv-proof
[(((((triple2 ((triple2) -> rule7) triple1) -> rule3) ((triple2) -> rule7) triple2) -> rule2))]
("Alan" "is" "big" "-")
((((triple2 ((triple2) -> (rule7 % int3)) triple1) -> (rule3 % int2)) ((triple2) -> (rule7 % int3)) triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Harry is big.[(triple11 OR ((((triple8 ((triple8) -> rule7) triple6) -> rule3) ((triple8) -> rule7) triple8) -> rule2))] Harry is blue.[(triple10 OR ((triple7 ((triple8) -> rule7)) -> rule1))] Harry is cold.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] Harry is young.[(triple6)] @1: Alan is round.[(((triple2) -> rule7))] Harry is green.[(((triple9 triple11) -> rule6) OR ((triple9 ((((triple8 ((triple8) -> rule7) triple6) -> rule3) ((triple8) -> rule7) triple8) -> rule2)) -> rule6))] Harry is round.[(((triple8) -> rule7))] @2: Alan is nice.[(((triple2 ((triple2) -> rule7) triple1) -> rule3))] Harry is nice.[(((triple8 ((triple8) -> rule7) triple6) -> rule3))] @3: Alan is big.[(((((triple2 ((triple2) -> rule7) triple1) -> rule3) ((triple2) -> rule7) triple2) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple11
((((triple8 ((triple8) -> (rule7 % int3)) triple6) -> (rule3 % int2)) ((triple8) -> (rule7 % int3)) triple8) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((triple7 ((triple8) -> (rule7 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Alan is round.
("Alan" "is" "round" "+")
((triple2) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple11) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple9 ((((triple8 ((triple8) -> (rule7 % int4)) triple6) -> (rule3 % int3)) ((triple8) -> (rule7 % int4)) triple8) -> (rule2 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((triple8) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 ((triple2) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 ((triple8) -> (rule7 % int2)) triple6) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple2 ((triple2) -> (rule7 % int3)) triple1) -> (rule3 % int2)) ((triple2) -> (rule7 % int3)) triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is young, he is also red and green.
Charlie is round shaped and green colored.
Harry lives at home with his parents who tell him he is too young to live on his own; Harry is a big blue guy with red rings around his ankles and rough patchy skin; Harry is always cold inside or out.
A round shaped and rough person will be blue as well.
Red and round people are nice to others even though they are big.
Young round folks who are at least a bit red are actually nice.
Any big, kind person that turns red is cold to the touch.
Being a young, round and kind individual means that you are also a blue individual.
I've noticed that someone who is big and acts cold towards others is green as well.
A person that is the color red will definitely be round shaped.