Alan is nice and young with red hair and a blue shirt. Bob is fat; so he appears big and round.  Bob is also nice and kind to everyone that he meets. Dave is a person both green and big. Harry is big and rough. Someone who looks rough and feels cold is also kind to others. Young people with red skin who are a bit downhearted and blue are kind. Nice and blue people have to be big as well. A young person with a kind heart and big sized body will be rough around the edges. Someone with rough, big traits will be a green person, as well. Kind young people that are still blue are generally round shaped. Someone who happens to be cold and green and big all at once must also be round in shape.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Dave is big.
True
1
proof
[(triple10)]
("Dave" "is" "big" "+")
triple10
Dave is not green.
False
1
inv-proof
[(triple9)]
("Dave" "is" "green" "-")
triple9
Alan is big.
True
3
proof
[(((triple3 triple4) -> rule3))]
("Alan" "is" "big" "+")
((triple3 triple4) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule3))]
("Alan" "is" "big" "-")
((triple3 triple4) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
True
7
proof
[(((triple4 triple1 ((triple1 triple4 triple2) -> rule2)) -> rule6))]
("Alan" "is" "round" "+")
((triple4 triple1 ((triple1 triple4 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not rough.
False
9
inv-proof
[(((triple1 ((triple1 triple4 triple2) -> rule2) ((triple3 triple4) -> rule3)) -> rule4))]
("Alan" "is" "rough" "-")
((triple1 ((triple1 triple4 triple2) -> (rule2 % int3)) ((triple3 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is green.
True
13
proof
[(((((triple1 ((triple1 triple4 triple2) -> rule2) ((triple3 triple4) -> rule3)) -> rule4) ((triple3 triple4) -> rule3)) -> rule5))]
("Alan" "is" "green" "+")
((((triple1 ((triple1 triple4 triple2) -> (rule2 % int4)) ((triple3 triple4) -> (rule3 % int3))) -> (rule4 % int2)) ((triple3 triple4) -> (rule3 % int3))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is not green.
False
13
inv-proof
[(((((triple1 ((triple1 triple4 triple2) -> rule2) ((triple3 triple4) -> rule3)) -> rule4) ((triple3 triple4) -> rule3)) -> rule5))]
("Alan" "is" "green" "-")
((((triple1 ((triple1 triple4 triple2) -> (rule2 % int4)) ((triple3 triple4) -> (rule3 % int3))) -> (rule4 % int2)) ((triple3 triple4) -> (rule3 % int3))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple8)] Bob is kind.[(triple7)] Bob is nice.[(triple6)] Bob is round.[(triple5)] Dave is big.[(triple10)] Dave is green.[(triple9)] Harry is big.[(triple12)] Harry is rough.[(triple11)] @1: Alan is big.[(((triple3 triple4) -> rule3))] Alan is kind.[(((triple1 triple4 triple2) -> rule2))] Harry is green.[(((triple11 triple12) -> rule5))] @2: Alan is rough.[(((triple1 ((triple1 triple4 triple2) -> rule2) ((triple3 triple4) -> rule3)) -> rule4))] Alan is round.[(((triple4 triple1 ((triple1 triple4 triple2) -> rule2)) -> rule6))] @3: Alan is green.[(((((triple1 ((triple1 triple4 triple2) -> rule2) ((triple3 triple4) -> rule3)) -> rule4) ((triple3 triple4) -> rule3)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Alan is big.
("Alan" "is" "big" "+")
((triple3 triple4) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple1 triple4 triple2) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11 triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 ((triple1 triple4 triple2) -> (rule2 % int3)) ((triple3 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((triple4 triple1 ((triple1 triple4 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((((triple1 ((triple1 triple4 triple2) -> (rule2 % int4)) ((triple3 triple4) -> (rule3 % int3))) -> (rule4 % int2)) ((triple3 triple4) -> (rule3 % int3))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is nice and young with red hair and a blue shirt.
Bob is fat; so he appears big and round; Bob is also nice and kind to everyone that he meets.
Dave is a person both green and big.
Harry is big and rough.
Someone who looks rough and feels cold is also kind to others.
Young people with red skin who are a bit downhearted and blue are kind.
Nice and blue people have to be big as well.
A young person with a kind heart and big sized body will be rough around the edges.
Someone with rough, big traits will be a green person, as well.
Kind young people that are still blue are generally round shaped.
Someone who happens to be cold and green and big all at once must also be round in shape.