Even though Alan feels blue because of how round he is, he is still nice and kind to people that talk to him. Dave is nice and kind despite the appearance of his cold, red skin. Eric is rough around the edges, but he's often blue and always nice. In the snow sits Fred, crying from being cold. It's a fact that young people are red people. Cold people who are young and green are actually nice. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. Blue people who are rough are often young. People who are rough and nice and blue can be round. Young,cold and blue people are mostly round. A green person is going to be rough.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue and red then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Dave is kind.
True
1
proof
[(triple7)]
("Dave" "is" "kind" "+")
triple7
Eric is not rough.
False
1
inv-proof
[(triple9)]
("Eric" "is" "rough" "-")
triple9
Eric is round.
True
4
proof
[(((triple9 triple10 triple11) -> rule5))]
("Eric" "is" "round" "+")
((triple9 triple10 triple11) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
4
inv-proof
[(((triple9 triple10 triple11) -> rule5))]
("Eric" "is" "round" "-")
((triple9 triple10 triple11) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
True
4
proof
[(((((triple9 triple11) -> rule4)) -> rule1))]
("Eric" "is" "red" "+")
((((triple9 triple11) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not red.
False
4
inv-proof
[(((((triple9 triple11) -> rule4)) -> rule1))]
("Eric" "is" "red" "-")
((((triple9 triple11) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
True
10
proof
[(((((triple9 triple10 triple11) -> rule5) triple11 ((((triple9 triple11) -> rule4)) -> rule1)) -> rule3))]
("Eric" "is" "cold" "+")
((((triple9 triple10 triple11) -> (rule5 % int4)) triple11 ((((triple9 triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is not cold.
False
10
inv-proof
[(((((triple9 triple10 triple11) -> rule5) triple11 ((((triple9 triple11) -> rule4)) -> rule1)) -> rule3))]
("Eric" "is" "cold" "-")
((((triple9 triple10 triple11) -> (rule5 % int4)) triple11 ((((triple9 triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "-")
Alan is young.
Unknown
rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Alan" "is" "young" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is blue.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Dave is cold.[(triple8)] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Dave is red.[(triple5)] Eric is blue.[(triple11)] Eric is nice.[(triple10)] Eric is rough.[(triple9)] Fred is cold.[(triple12)] @1: Eric is round.[(((triple9 triple10 triple11) -> rule5))] Eric is young.[(((triple9 triple11) -> rule4))] @2: Eric is red.[(((((triple9 triple11) -> rule4)) -> rule1))] @3: Eric is cold.[(((((triple9 triple10 triple11) -> rule5) triple11 ((((triple9 triple11) -> rule4)) -> rule1)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple12
Eric is round.
("Eric" "is" "round" "+")
((triple9 triple10 triple11) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple9 triple11) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((((triple9 triple11) -> (rule4 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple9 triple10 triple11) -> (rule5 % int4)) triple11 ((((triple9 triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Even though Alan feels blue because of how round he is, he is still nice and kind to people that talk to him.
Dave is nice and kind despite the appearance of his cold, red skin.
Eric is rough around the edges, but he's often blue and always nice.
In the snow sits Fred, crying from being cold.
It's a fact that young people are red people.
Cold people who are young and green are actually nice.
Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake.
Blue people who are rough are often young.
People who are rough and nice and blue can be round.
Young,cold and blue people are mostly round.
A green person is going to be rough.