Alan is a fairly round person for being as nice as he is. He is also blue because of his rough upbringing. He gets red when he talks about it. Bob ate some rotten meat and now feels green. Dave was born only a few years ago so he is young. Eric is a rough guy but he is also red, nice, green and big. When you meet someone round, blue and nice they are as a rule rough. Young and nice people have great big smiles. If you color the young ones blue then they will be kind. People with rough red and blue skin are young. A young person who is both big and blue is also someone who is green.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Alan is red.
True
1
proof
[(triple3)]
("Alan" "is" "red" "+")
triple3
Alan is not blue.
False
1
inv-proof
[(triple5)]
("Alan" "is" "blue" "-")
triple5
Alan is young.
True
4
proof
[(((triple2 triple3 triple5) -> rule4) OR ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4))]
("Alan" "is" "young" "+")
((triple2 triple3 triple5) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((((triple5 triple4 triple1) -> (rule1 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not young.
False
4
inv-proof
[(((triple2 triple3 triple5) -> rule4) OR ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4))]
("Alan" "is" "young" "-")
((triple2 triple3 triple5) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((((triple5 triple4 triple1) -> (rule1 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
True
6
proof
[(((((triple2 triple3 triple5) -> rule4) triple4) -> rule2) OR ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2))]
("Alan" "is" "big" "+")
((((triple2 triple3 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((((triple5 triple4 triple1) -> (rule1 % int3)) triple3 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not big.
False
6
inv-proof
[(((((triple2 triple3 triple5) -> rule4) triple4) -> rule2) OR ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2))]
("Alan" "is" "big" "-")
((((triple2 triple3 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((((triple5 triple4 triple1) -> (rule1 % int3)) triple3 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is green.
True
12
proof
[(((triple5 ((triple2 triple3 triple5) -> rule4) ((((triple2 triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) ((((triple2 triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((triple2 triple3 triple5) -> rule4) ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5))]
("Alan" "is" "green" "+")
((triple5 ((triple2 triple3 triple5) -> (rule4 % int3)) ((((triple2 triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple5 ((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) ((((triple2 triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((triple5 ((triple2 triple3 triple5) -> (rule4 % int4)) ((((((triple5 triple4 triple1) -> (rule1 % int3)) triple3 triple5) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
((triple5 ((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) ((((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is not green.
False
12
inv-proof
[(((triple5 ((triple2 triple3 triple5) -> rule4) ((((triple2 triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) ((((triple2 triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((triple2 triple3 triple5) -> rule4) ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5))]
("Alan" "is" "green" "-")
((triple5 ((triple2 triple3 triple5) -> (rule4 % int3)) ((((triple2 triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple5 ((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) ((((triple2 triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((triple5 ((triple2 triple3 triple5) -> (rule4 % int4)) ((((((triple5 triple4 triple1) -> (rule1 % int3)) triple3 triple5) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
((triple5 ((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) ((((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is blue.[(triple5)] Alan is nice.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2 OR ((triple5 triple4 triple1) -> rule1))] Alan is round.[(triple1)] Bob is green.[(triple6)] Dave is young.[(triple7)] Eric is big.[(triple12)] Eric is green.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] Eric is rough.[(triple8)] @1: Alan is young.[(((triple2 triple3 triple5) -> rule4) OR ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4))] @2: Alan is big.[(((((triple2 triple3 triple5) -> rule4) triple4) -> rule2) OR ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2))] Alan is kind.[(((triple5 ((triple2 triple3 triple5) -> rule4)) -> rule3) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4)) -> rule3))] @3: Alan is green.[(((triple5 ((triple2 triple3 triple5) -> rule4) ((((triple2 triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) ((((triple2 triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((triple2 triple3 triple5) -> rule4) ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) ((((((triple5 triple4 triple1) -> rule1) triple3 triple5) -> rule4) triple4) -> rule2)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is nice.
("Alan" "is" "nice" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
((triple5 triple4 triple1) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is green.
("Eric" "is" "green" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Alan is young.
("Alan" "is" "young" "+")
((triple2 triple3 triple5) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((((triple5 triple4 triple1) -> (rule1 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple2 triple3 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((((triple5 triple4 triple1) -> (rule1 % int3)) triple3 triple5) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
((triple5 ((triple2 triple3 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((triple5 ((((triple5 triple4 triple1) -> (rule1 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
((triple5 ((triple2 triple3 triple5) -> (rule4 % int3)) ((((triple2 triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((triple5 ((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) ((((triple2 triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((triple5 ((triple2 triple3 triple5) -> (rule4 % int4)) ((((((triple5 triple4 triple1) -> (rule1 % int3)) triple3 triple5) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
((triple5 ((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) ((((((triple5 triple4 triple1) -> (rule1 % int4)) triple3 triple5) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is a fairly round person for being as nice as he is; He is also blue because of his rough upbringing; He gets red when he talks about it.
Bob ate some rotten meat and now feels green.
Dave was born only a few years ago so he is young.
Eric is a rough guy but he is also red, nice, green and big.
When you meet someone round, blue and nice they are as a rule rough.
Young and nice people have great big smiles.
If you color the young ones blue then they will be kind.
People with rough red and blue skin are young.
A young person who is both big and blue is also someone who is green.