Others enjoy Alan's company because he is so nice and kind. I was surprised at how green and blue young, round Charlie is. Fred was born only a few years ago so he is young. A green and blue colored person who is young will certainly be big. Young, green round people are big. I see it all the time, nice big people make equal a cold person. Big people with round and somewhat red faces will have rough skin. When somebody is round, kind and blue, you know they'll also be red. Round and somewhat big people manage to be kind to everyone. Kind people who are nice find that they must also be rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
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 nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Alan is kind.
True
1
proof
[(triple2)]
("Alan" "is" "kind" "+")
triple2
Alan is not kind.
False
1
inv-proof
[(triple2)]
("Alan" "is" "kind" "-")
triple2
Alan is rough.
True
3
proof
[(((triple2 triple1) -> rule7))]
("Alan" "is" "rough" "+")
((triple2 triple1) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Charlie is not big.
False
4
inv-proof
[(((triple5 triple3 triple4) -> rule2) OR ((triple5 triple3 triple6) -> rule1))]
("Charlie" "is" "big" "-")
((triple5 triple3 triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple5 triple3 triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
True
6
proof
[(((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) OR ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6))]
("Charlie" "is" "kind" "+")
((triple4 ((triple5 triple3 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple4 ((triple5 triple3 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not kind.
False
6
inv-proof
[(((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) OR ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6))]
("Charlie" "is" "kind" "-")
((triple4 ((triple5 triple3 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple4 ((triple5 triple3 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
True
9
proof
[(((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5) OR ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5))]
("Charlie" "is" "red" "+")
((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not red.
False
9
inv-proof
[(((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5) OR ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5))]
("Charlie" "is" "red" "-")
((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
True
15
proof
[(((((triple5 triple3 triple4) -> rule2) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple4) -> rule2) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple6) -> rule1) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple6) -> rule1) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5)) -> rule4))]
("Charlie" "is" "rough" "+")
((((triple5 triple3 triple4) -> (rule2 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple4) -> (rule2 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple6) -> (rule1 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple6) -> (rule1 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is not rough.
False
15
inv-proof
[(((((triple5 triple3 triple4) -> rule2) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple4) -> rule2) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple6) -> rule1) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple6) -> rule1) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5)) -> rule4))]
("Charlie" "is" "rough" "-")
((((triple5 triple3 triple4) -> (rule2 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple4) -> (rule2 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple6) -> (rule1 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple6) -> (rule1 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "red" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Fred is young.[(triple7)] @1: Alan is rough.[(((triple2 triple1) -> rule7))] Charlie is big.[(((triple5 triple3 triple4) -> rule2) OR ((triple5 triple3 triple6) -> rule1))] @2: Charlie is kind.[(((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) OR ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6))] @3: Charlie is red.[(((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5) OR ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5))] @4: Charlie is rough.[(((((triple5 triple3 triple4) -> rule2) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple4) -> rule2) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple6) -> rule1) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> rule2)) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple5 triple3 triple6) -> rule1) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> rule1)) -> rule6) triple6) -> rule5)) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple7
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 triple1) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple5 triple3 triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple5 triple3 triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 ((triple5 triple3 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple4 ((triple5 triple3 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple5 triple3 triple4) -> (rule2 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple4) -> (rule2 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple6) -> (rule1 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple4) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 triple3 triple6) -> (rule1 % int4)) triple4 ((triple4 ((triple4 ((triple5 triple3 triple6) -> (rule1 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Others enjoy Alan's company because he is so nice and kind.
I was surprised at how green and blue young, round Charlie is.
Fred was born only a few years ago so he is young.
A green and blue colored person who is young will certainly be big.
Young, green round people are big.
I see it all the time, nice big people make equal a cold person.
Big people with round and somewhat red faces will have rough skin.
When somebody is round, kind and blue, you know they'll also be red.
Round and somewhat big people manage to be kind to everyone.
Kind people who are nice find that they must also be rough.