Even though he's a big dude, Alan is cold. They always call him rough Dave. Blue and green, cold but kind, young Fred is also quite round. In the snow sits Gary, crying from being cold. Young, green round people are big. When a person can be described as blue, rough and round, you can call them nice at the same time. When a nice blue person is also red, they get called rough. It is true that kind people who have become cold and blue and survived are necessarily big. Green people will be nice even when they have been rough. If you are big and young then your are also nice.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
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 round and blue and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Fred is round.
True
1
proof
[(triple5)]
("Fred" "is" "round" "+")
triple5
Fred is not blue.
False
1
inv-proof
[(triple9)]
("Fred" "is" "blue" "-")
triple9
Fred is big.
True
4
proof
[(((triple7 triple4 triple5) -> rule1) OR ((triple9 triple8 triple6) -> rule4))]
("Fred" "is" "big" "+")
((triple7 triple4 triple5) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
((triple9 triple8 triple6) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
4
inv-proof
[(((triple7 triple4 triple5) -> rule1) OR ((triple9 triple8 triple6) -> rule4))]
("Fred" "is" "big" "-")
((triple7 triple4 triple5) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
((triple9 triple8 triple6) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
True
6
proof
[(((((triple7 triple4 triple5) -> rule1) triple4) -> rule6) OR ((((triple9 triple8 triple6) -> rule4) triple4) -> rule6))]
("Fred" "is" "nice" "+")
((((triple7 triple4 triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
((((triple9 triple8 triple6) -> (rule4 % int2)) triple4) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not nice.
False
6
inv-proof
[(((((triple7 triple4 triple5) -> rule1) triple4) -> rule6) OR ((((triple9 triple8 triple6) -> rule4) triple4) -> rule6))]
("Fred" "is" "nice" "-")
((((triple7 triple4 triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
((((triple9 triple8 triple6) -> (rule4 % int2)) triple4) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
True
8
proof
[(((triple7 ((((triple7 triple4 triple5) -> rule1) triple4) -> rule6)) -> rule5) OR ((triple7 ((((triple9 triple8 triple6) -> rule4) triple4) -> rule6)) -> rule5))]
("Fred" "is" "rough" "+")
((triple7 ((((triple7 triple4 triple5) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((triple7 ((((triple9 triple8 triple6) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not rough.
False
8
inv-proof
[(((triple7 ((((triple7 triple4 triple5) -> rule1) triple4) -> rule6)) -> rule5) OR ((triple7 ((((triple9 triple8 triple6) -> rule4) triple4) -> rule6)) -> rule5))]
("Fred" "is" "rough" "-")
((triple7 ((((triple7 triple4 triple5) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((triple7 ((((triple9 triple8 triple6) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Dave is rough.[(triple3)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Gary is cold.[(triple10)] @1: Fred is big.[(((triple7 triple4 triple5) -> rule1) OR ((triple9 triple8 triple6) -> rule4))] @2: Fred is nice.[(((((triple7 triple4 triple5) -> rule1) triple4) -> rule6) OR ((((triple9 triple8 triple6) -> rule4) triple4) -> rule6))] @3: Fred is rough.[(((triple7 ((((triple7 triple4 triple5) -> rule1) triple4) -> rule6)) -> rule5) OR ((triple7 ((((triple9 triple8 triple6) -> rule4) triple4) -> rule6)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Fred is big.
("Fred" "is" "big" "+")
((triple7 triple4 triple5) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
((triple9 triple8 triple6) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((((triple7 triple4 triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
((((triple9 triple8 triple6) -> (rule4 % int2)) triple4) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple7 ((((triple7 triple4 triple5) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((triple7 ((((triple9 triple8 triple6) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Even though he's a big dude, Alan is cold.
They always call him rough Dave.
Blue and green, cold but kind, young Fred is also quite round.
In the snow sits Gary, crying from being cold.
Young, green round people are big.
When a person can be described as blue, rough and round, you can call them nice at the same time.
When a nice blue person is also red, they get called rough.
It is true that kind people who have become cold and blue and survived are necessarily big.
Green people will be nice even when they have been rough.
If you are big and young then your are also nice.