Alan wears all blue. Big, red Dave is quite kind. Fred is young, but very kind to others. Fred is big, with round features. Gary is a man who is both round and rough. If someone is cold and young, you'll see that they are kind. Anyone perceived to be rough, cold and kind will also be nice. People feeling green and blue are somewhat nice. Someone who tends to be icy cold and rough but secretly nice are generally very blue. A nice person who is downhearted, blue, and green with envy is rough. If someone is feeling blue and round in shape they are usually nice. Anyone who's blue is also green.
Alan is blue.
("Alan" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Fred is young.
True
1
proof
[(triple5)]
("Fred" "is" "young" "+")
triple5
Alan is not blue.
False
1
inv-proof
[(triple1)]
("Alan" "is" "blue" "-")
triple1
Alan is green.
True
2
proof
[(((triple1) -> rule7))]
("Alan" "is" "green" "+")
((triple1) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
2
inv-proof
[(((triple1) -> rule7))]
("Alan" "is" "green" "-")
((triple1) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
True
4
proof
[(((((triple1) -> rule7) triple1) -> rule3))]
("Alan" "is" "nice" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not nice.
False
4
inv-proof
[(((((triple1) -> rule7) triple1) -> rule3))]
("Alan" "is" "nice" "-")
((((triple1) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is rough.
True
8
proof
[(((((((triple1) -> rule7) triple1) -> rule3) triple1 ((triple1) -> rule7)) -> rule5))]
("Alan" "is" "rough" "+")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule3 % int2)) triple1 ((triple1) -> (rule7 % int3))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not rough.
False
8
inv-proof
[(((((((triple1) -> rule7) triple1) -> rule3) triple1 ((triple1) -> rule7)) -> rule5))]
("Alan" "is" "rough" "-")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule3 % int2)) triple1 ((triple1) -> (rule7 % int3))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Dave" "is" "green" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Alan is blue.[(triple1)] Dave is big.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2)] Fred is big.[(triple8)] Fred is kind.[(triple7)] Fred is round.[(triple6)] Fred is young.[(triple5)] Gary is rough.[(triple10)] Gary is round.[(triple9)] @1: Alan is green.[(((triple1) -> rule7))] @2: Alan is nice.[(((((triple1) -> rule7) triple1) -> rule3))] @3: Alan is rough.[(((((((triple1) -> rule7) triple1) -> rule3) triple1 ((triple1) -> rule7)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Alan is green.
("Alan" "is" "green" "+")
((triple1) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule3 % int2)) triple1 ((triple1) -> (rule7 % int3))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan wears all blue.
Big, red Dave is quite kind.
Fred is young, but very kind to others; Fred is big, with round features.
Gary is a man who is both round and rough.
If someone is cold and young, you'll see that they are kind.
Anyone perceived to be rough, cold and kind will also be nice.
People feeling green and blue are somewhat nice.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.
A nice person who is downhearted, blue, and green with envy is rough.
If someone is feeling blue and round in shape they are usually nice.
Anyone who's blue is also green.