Even though Alan is big and round, he is cold much of the time. Eric is a man who is both round and rough. Fred is rough and cold, but he's young and will get over it. All people that are rough and cold, as well as nice will be kind if you talk to them. An individual that fits the nice, red, and kind description will fit the description of big, too. Someone can be very nice and kind, and this means they are also green. It is true that kind people who have become cold and blue and survived are necessarily big. Someone who's young and frosty cold are actually very nice. If you meet somebody who is green, big and red you'll notice they are also blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
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 young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Eric is rough.
True
1
proof
[(triple5)]
("Eric" "is" "rough" "+")
triple5
Eric is not round.
False
1
inv-proof
[(triple4)]
("Eric" "is" "round" "-")
triple4
Fred is nice.
True
3
proof
[(((triple6 triple8) -> rule5))]
("Fred" "is" "nice" "+")
((triple6 triple8) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple6 triple8) -> rule5))]
("Fred" "is" "nice" "-")
((triple6 triple8) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
True
6
proof
[(((((triple6 triple8) -> rule5) triple7 triple8) -> rule1))]
("Fred" "is" "kind" "+")
((((triple6 triple8) -> (rule5 % int2)) triple7 triple8) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not kind.
False
6
inv-proof
[(((((triple6 triple8) -> rule5) triple7 triple8) -> rule1))]
("Fred" "is" "kind" "-")
((((triple6 triple8) -> (rule5 % int2)) triple7 triple8) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
True
10
proof
[(((((triple6 triple8) -> rule5) ((((triple6 triple8) -> rule5) triple7 triple8) -> rule1)) -> rule3))]
("Fred" "is" "green" "+")
((((triple6 triple8) -> (rule5 % int3)) ((((triple6 triple8) -> (rule5 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not green.
False
10
inv-proof
[(((((triple6 triple8) -> rule5) ((((triple6 triple8) -> rule5) triple7 triple8) -> rule1)) -> rule3))]
("Fred" "is" "green" "-")
((((triple6 triple8) -> (rule5 % int3)) ((((triple6 triple8) -> (rule5 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Fred" "is" "big" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is round.[(triple1)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Fred is cold.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] @1: Fred is nice.[(((triple6 triple8) -> rule5))] @2: Fred is kind.[(((((triple6 triple8) -> rule5) triple7 triple8) -> rule1))] @3: Fred is green.[(((((triple6 triple8) -> rule5) ((((triple6 triple8) -> rule5) triple7 triple8) -> rule1)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
((triple6 triple8) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((((triple6 triple8) -> (rule5 % int2)) triple7 triple8) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple6 triple8) -> (rule5 % int3)) ((((triple6 triple8) -> (rule5 % int3)) triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Even though Alan is big and round, he is cold much of the time.
Eric is a man who is both round and rough.
Fred is rough and cold, but he's young and will get over it.
All people that are rough and cold, as well as nice will be kind if you talk to them.
An individual that fits the nice, red, and kind description will fit the description of big, too.
Someone can be very nice and kind, and this means they are also green.
It is true that kind people who have become cold and blue and survived are necessarily big.
Someone who's young and frosty cold are actually very nice.
If you meet somebody who is green, big and red you'll notice they are also blue.