To the touch Alan has rough, cold skin. Big Charlie is still young so it's easy for him to be kind. Even though he's a big dude, Dave is cold. That Fred is as round and red as a cherry, and twice as kind. Someone can be very nice and kind, and this means they are also green. A person fitting the description of rough, cold and red will also be a nice person. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Young people tend to rough and nice, but they are also red. A green person is going to be rough. Generally, round and kind people are big. If someone is kind, green, and round sized, then they are typically nice people.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
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 young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Alan is cold.
True
1
proof
[(triple2)]
("Alan" "is" "cold" "+")
triple2
Fred is not kind.
False
1
inv-proof
[(triple10)]
("Fred" "is" "kind" "-")
triple10
Fred is big.
True
3
proof
[(((triple8 triple10) -> rule6))]
("Fred" "is" "big" "+")
((triple8 triple10) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple8 triple10) -> rule6))]
("Fred" "is" "big" "-")
((triple8 triple10) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
True
6
proof
[(((((triple8 triple10) -> rule6) triple8 triple9) -> rule3))]
("Fred" "is" "nice" "+")
((((triple8 triple10) -> (rule6 % int2)) triple8 triple9) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not nice.
False
6
inv-proof
[(((((triple8 triple10) -> rule6) triple8 triple9) -> rule3))]
("Fred" "is" "nice" "-")
((((triple8 triple10) -> (rule6 % int2)) triple8 triple9) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
True
8
proof
[(((((((triple8 triple10) -> rule6) triple8 triple9) -> rule3) triple10) -> rule1))]
("Fred" "is" "green" "+")
((((((triple8 triple10) -> (rule6 % int3)) triple8 triple9) -> (rule3 % int2)) triple10) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not green.
False
8
inv-proof
[(((((((triple8 triple10) -> rule6) triple8 triple9) -> rule3) triple10) -> rule1))]
("Fred" "is" "green" "-")
((((((triple8 triple10) -> (rule6 % int3)) triple8 triple9) -> (rule3 % int2)) triple10) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
True
9
proof
[(((((((((triple8 triple10) -> rule6) triple8 triple9) -> rule3) triple10) -> rule1)) -> rule5))]
("Fred" "is" "rough" "+")
((((((((triple8 triple10) -> (rule6 % int4)) triple8 triple9) -> (rule3 % int3)) triple10) -> (rule1 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is not rough.
False
9
inv-proof
[(((((((((triple8 triple10) -> rule6) triple8 triple9) -> rule3) triple10) -> rule1)) -> rule5))]
("Fred" "is" "rough" "-")
((((((((triple8 triple10) -> (rule6 % int4)) triple8 triple9) -> (rule3 % int3)) triple10) -> (rule1 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is cold.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is kind.[(triple4)] Charlie is young.[(triple3)] Dave is big.[(triple7)] Dave is cold.[(triple6)] Fred is kind.[(triple10)] Fred is red.[(triple9)] Fred is round.[(triple8)] @1: Fred is big.[(((triple8 triple10) -> rule6))] @2: Fred is nice.[(((((triple8 triple10) -> rule6) triple8 triple9) -> rule3))] @3: Fred is green.[(((((((triple8 triple10) -> rule6) triple8 triple9) -> rule3) triple10) -> rule1))] @4: Fred is rough.[(((((((((triple8 triple10) -> rule6) triple8 triple9) -> rule3) triple10) -> rule1)) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
((triple8 triple10) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((((triple8 triple10) -> (rule6 % int2)) triple8 triple9) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((((triple8 triple10) -> (rule6 % int3)) triple8 triple9) -> (rule3 % int2)) triple10) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
((((((((triple8 triple10) -> (rule6 % int4)) triple8 triple9) -> (rule3 % int3)) triple10) -> (rule1 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
To the touch Alan has rough, cold skin.
Big Charlie is still young so it's easy for him to be kind.
Even though he's a big dude, Dave is cold.
That Fred is as round and red as a cherry, and twice as kind.
Someone can be very nice and kind, and this means they are also green.
A person fitting the description of rough, cold and red will also be a nice person.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Young people tend to rough and nice, but they are also red.
A green person is going to be rough.
Generally, round and kind people are big.
If someone is kind, green, and round sized, then they are typically nice people.