Red Alan is what folks call him, because he is quite red. Charlie is big and tends to wear red shirts. Being so young, Harry is rough during play, even though he is nice. He is big for his age and has blue eyes. Big round people who wear red clothing will also wear a lot of green jewelry. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. If someone is a bit rough, but also nice, then they qualify as round. Nice people are kind and rough when they are young. Find someone big, blue, and kind, and you'll see they are also quite young. A rough, big, and round person can't help but be kind as well. Anyone that's described as young, kind and blue can be said to be cold, too.
Alan is red.
("Alan" "is" "red" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and red and round then they are green.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
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 nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Harry is not rough.
False
1
inv-proof
[(triple5)]
("Harry" "is" "rough" "-")
triple5
Harry is round.
True
3
proof
[(((triple6 triple5) -> rule3))]
("Harry" "is" "round" "+")
((triple6 triple5) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple6 triple5) -> rule3))]
("Harry" "is" "round" "-")
((triple6 triple5) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
True
6
proof
[(((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6))]
("Harry" "is" "kind" "+")
((triple5 triple8 ((triple6 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6))]
("Harry" "is" "kind" "-")
((triple5 triple8 ((triple6 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
True
9
proof
[(((triple4 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7) OR ((((triple6 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6) triple5) -> rule4) triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7) OR ((((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule5) triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7))]
("Harry" "is" "cold" "+")
((triple4 triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple6 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not cold.
False
9
inv-proof
[(((triple4 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7) OR ((((triple6 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6) triple5) -> rule4) triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7) OR ((((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule5) triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7))]
("Harry" "is" "cold" "-")
((triple4 triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple6 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is red.[(triple1)] Charlie is big.[(triple3)] Charlie is red.[(triple2)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is nice.[(triple6)] Harry is rough.[(triple5)] Harry is young.[(triple4 OR ((triple6 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6) triple5) -> rule4) OR ((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule5))] @1: Harry is round.[(((triple6 triple5) -> rule3))] @2: Harry is kind.[(((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6))] @3: Harry is cold.[(((triple4 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7) OR ((((triple6 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6) triple5) -> rule4) triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7) OR ((((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule5) triple7 ((triple5 triple8 ((triple6 triple5) -> rule3)) -> rule6)) -> rule7))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
((triple6 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple6 triple5) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple5 triple8 ((triple6 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple4 triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple6 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple8 triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple7 ((triple5 triple8 ((triple6 triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Red Alan is what folks call him, because he is quite red.
Charlie is big and tends to wear red shirts.
Being so young, Harry is rough during play, even though he is nice; He is big for his age and has blue eyes.
Big round people who wear red clothing will also wear a lot of green jewelry.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
If someone is a bit rough, but also nice, then they qualify as round.
Nice people are kind and rough when they are young.
Find someone big, blue, and kind, and you'll see they are also quite young.
A rough, big, and round person can't help but be kind as well.
Anyone that's described as young, kind and blue can be said to be cold, too.