Alan was born only a few years ago so he is young. Dave plays rough and gets red in his round face,yet people know he is young and often blue. Eric, the round one, is cold in Alaska because he's green and rough around the edges. I have found that blue, kind people are big. People who are red and round are usually assumed to be green. A nice green person that tends to be rough will indeed be round too. Big and round people can't help but be cold all of the time. Lucky for us, people that are round and red are kind to strangers. Anyone that's rough and cold is also going to be blue. A big person with cold, rough skin is going to be green as well.
Alan is young.
("Alan" "is" "young" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Eric is round.
True
1
proof
[(triple7)]
("Eric" "is" "round" "+")
triple7
Dave is not blue.
False
1
inv-proof
[(triple6)]
("Dave" "is" "blue" "-")
triple6
Dave is green.
True
3
proof
[(((triple5 triple3) -> rule2) OR ((((triple6 ((triple3 triple5) -> rule5)) -> rule1) ((((triple6 ((triple3 triple5) -> rule5)) -> rule1) triple3) -> rule4) triple4) -> rule7))]
("Dave" "is" "green" "+")
((triple5 triple3) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple6 ((triple3 triple5) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple6 ((triple3 triple5) -> (rule5 % int4))) -> (rule1 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not kind.
False
3
inv-proof
[(((triple3 triple5) -> rule5))]
("Dave" "is" "kind" "-")
((triple3 triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
True
5
proof
[(((triple6 ((triple3 triple5) -> rule5)) -> rule1))]
("Dave" "is" "big" "+")
((triple6 ((triple3 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not big.
False
5
inv-proof
[(((triple6 ((triple3 triple5) -> rule5)) -> rule1))]
("Dave" "is" "big" "-")
((triple6 ((triple3 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
True
7
proof
[(((((triple6 ((triple3 triple5) -> rule5)) -> rule1) triple3) -> rule4))]
("Dave" "is" "cold" "+")
((((triple6 ((triple3 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not cold.
False
7
inv-proof
[(((((triple6 ((triple3 triple5) -> rule5)) -> rule1) triple3) -> rule4))]
("Dave" "is" "cold" "-")
((((triple6 ((triple3 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Gary" "is" "big" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is young.[(triple1)] Dave is blue.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Eric is cold.[(triple10)] Eric is green.[(triple9)] Eric is rough.[(triple8)] Eric is round.[(triple7)] @1: Dave is green.[(((triple5 triple3) -> rule2) OR ((((triple6 ((triple3 triple5) -> rule5)) -> rule1) ((((triple6 ((triple3 triple5) -> rule5)) -> rule1) triple3) -> rule4) triple4) -> rule7))] Dave is kind.[(((triple3 triple5) -> rule5))] Eric is blue.[(((triple10 triple8) -> rule6))] @2: Dave is big.[(((triple6 ((triple3 triple5) -> rule5)) -> rule1))] @3: Dave is cold.[(((((triple6 ((triple3 triple5) -> rule5)) -> rule1) triple3) -> rule4))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple3) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple6 ((triple3 triple5) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple6 ((triple3 triple5) -> (rule5 % int4))) -> (rule1 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
((triple3 triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple10 triple8) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple6 ((triple3 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple6 ((triple3 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Alan was born only a few years ago so he is young.
Dave plays rough and gets red in his round face,yet people know he is young and often blue.
Eric, the round one, is cold in Alaska because he's green and rough around the edges.
I have found that blue, kind people are big.
People who are red and round are usually assumed to be green.
A nice green person that tends to be rough will indeed be round too.
Big and round people can't help but be cold all of the time.
Lucky for us, people that are round and red are kind to strangers.
Anyone that's rough and cold is also going to be blue.
A big person with cold, rough skin is going to be green as well.