When you talk about Alan, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Bob is a nice and kind young man who is quite big in size. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. A rough textured and cold person is definitely young. Someone who is young and nice is often round. If you color the young ones blue then they will be kind. Nice people are cold people. A green and red colored person who has a nice temperament will be cold. John is round and rough, meaning that he is someone that is seen as green. Someone who happens to be cold and green and big all at once must also be round in shape.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Bob is kind.
True
1
proof
[(triple6)]
("Bob" "is" "kind" "+")
triple6
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Bob is round.
True
3
proof
[(((triple4 triple5) -> rule2))]
("Bob" "is" "round" "+")
((triple4 triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Alan is not young.
False
3
inv-proof
[(((triple1 triple3) -> rule1) OR ((triple1 ((triple2) -> rule4)) -> rule1))]
("Alan" "is" "young" "-")
((triple1 triple3) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((triple1 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is round.
True
5
proof
[(((((triple1 triple3) -> rule1) triple2) -> rule2) OR ((((triple1 ((triple2) -> rule4)) -> rule1) triple2) -> rule2))]
("Alan" "is" "round" "+")
((((triple1 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple1 ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not round.
False
5
inv-proof
[(((((triple1 triple3) -> rule1) triple2) -> rule2) OR ((((triple1 ((triple2) -> rule4)) -> rule1) triple2) -> rule2))]
("Alan" "is" "round" "-")
((((triple1 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple1 ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
True
7
proof
[(((((((triple1 triple3) -> rule1) triple2) -> rule2) triple1) -> rule6) OR ((((((triple1 ((triple2) -> rule4)) -> rule1) triple2) -> rule2) triple1) -> rule6))]
("Alan" "is" "green" "+")
((((((triple1 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((((triple1 ((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is not green.
False
7
inv-proof
[(((((((triple1 triple3) -> rule1) triple2) -> rule2) triple1) -> rule6) OR ((((((triple1 ((triple2) -> rule4)) -> rule1) triple2) -> rule2) triple1) -> rule6))]
("Alan" "is" "green" "-")
((((((triple1 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((((triple1 ((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not kind.
Unknown
inv-rconc
[@3: Fred is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule4 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Fred" "is" "young" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is cold.[(triple3 OR ((triple2) -> rule4))] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is big.[(triple7)] Bob is kind.[(triple6)] Bob is nice.[(triple5)] Bob is young.[(triple4)] Fred is blue.[(triple9)] Fred is rough.[(triple8)] @1: Alan is young.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple2) -> rule4)) -> rule1))] Bob is cold.[(((triple5) -> rule4))] Bob is round.[(((triple4 triple5) -> rule2))] @2: Alan is round.[(((((triple1 triple3) -> rule1) triple2) -> rule2) OR ((((triple1 ((triple2) -> rule4)) -> rule1) triple2) -> rule2))] @3: Alan is green.[(((((((triple1 triple3) -> rule1) triple2) -> rule2) triple1) -> rule6) OR ((((((triple1 ((triple2) -> rule4)) -> rule1) triple2) -> rule2) triple1) -> rule6))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
((triple2) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Alan is young.
("Alan" "is" "young" "+")
((triple1 triple3) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((triple1 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple4 triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple1 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
((((triple1 ((triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
((((((triple1 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((((triple1 ((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
When you talk about Alan, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Bob is a nice and kind young man who is quite big in size.
Fred grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
A rough textured and cold person is definitely young.
Someone who is young and nice is often round.
If you color the young ones blue then they will be kind.
Nice people are cold people.
A green and red colored person who has a nice temperament will be cold.
John is round and rough, meaning that he is someone that is seen as green.
Someone who happens to be cold and green and big all at once must also be round in shape.