Young Alan is a round fellow: sometimes nice, sometimes rough. When you see Charlie, you will notice he is cold, big and kind. Young Fred is a big, cold, rough person. Soon you will understand that big people are nice. Anyone that's rough and cold is also going to be blue. There could be a round someone with red hair wearing blue pants. Rough folks with green and red coloration tend to feel cold no matter what. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Someone with rough, big traits will be a green person, as well. Nice people who are big in stature often look rough.
Alan is young.
("Alan" "is" "young" "+")
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 cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
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 rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is cold.
True
1
proof
[(triple6)]
("Charlie" "is" "cold" "+")
triple6
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Charlie is nice.
True
2
proof
[(((triple7) -> rule1))]
("Charlie" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Charlie" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
True
4
proof
[(((((triple7) -> rule1) triple7) -> rule7))]
("Charlie" "is" "rough" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple7) -> rule1) triple7) -> rule7))]
("Charlie" "is" "rough" "-")
((((triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
True
6
proof
[(((triple6 ((((triple7) -> rule1) triple7) -> rule7)) -> rule2))]
("Charlie" "is" "blue" "+")
((triple6 ((((triple7) -> (rule1 % int3)) triple7) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not green.
False
6
inv-proof
[(((((((triple7) -> rule1) triple7) -> rule7) triple7) -> rule6))]
("Charlie" "is" "green" "-")
((((((triple7) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "green" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "green" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "rough" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is nice.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is kind.[(triple5)] Fred is big.[(triple11)] Fred is cold.[(triple10)] Fred is rough.[(triple9 OR ((((triple11) -> rule1) triple11) -> rule7))] Fred is young.[(triple8)] @1: Charlie is nice.[(((triple7) -> rule1))] Fred is blue.[(((triple10 triple9) -> rule2) OR ((triple10 ((((triple11) -> rule1) triple11) -> rule7)) -> rule2))] Fred is green.[(((triple9 triple11) -> rule6) OR ((((((triple11) -> rule1) triple11) -> rule7) triple11) -> rule6))] Fred is nice.[(((triple11) -> rule1))] @2: Charlie is rough.[(((((triple7) -> rule1) triple7) -> rule7))] @3: Charlie is blue.[(((triple6 ((((triple7) -> rule1) triple7) -> rule7)) -> rule2))] Charlie is green.[(((((((triple7) -> rule1) triple7) -> rule7) triple7) -> rule6))]
Alan is nice.
("Alan" "is" "nice" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
((((triple11) -> (rule1 % int2)) triple11) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple10 triple9) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
((triple10 ((((triple11) -> (rule1 % int3)) triple11) -> (rule7 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((triple9 triple11) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((((((triple11) -> (rule1 % int3)) triple11) -> (rule7 % int2)) triple11) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
((triple11) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 ((((triple7) -> (rule1 % int3)) triple7) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple7) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Young Alan is a round fellow: sometimes nice, sometimes rough.
When you see Charlie, you will notice he is cold, big and kind.
Young Fred is a big, cold, rough person.
Soon you will understand that big people are nice.
Anyone that's rough and cold is also going to be blue.
There could be a round someone with red hair wearing blue pants.
Rough folks with green and red coloration tend to feel cold no matter what.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Someone with rough, big traits will be a green person, as well.
Nice people who are big in stature often look rough.