Alan wears all blue. Bob, a green man, was also big, but underneath he was kind. Charlie is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Fred ate some rotten meat and now feels green. A big person who feels cold and has blue skin is a nice person. A kind, cold, round person will be nice in addition. Anybody that is big is also someone who is going to be blue. If a human is both young and kind, they are also cold. As someone can be round and rough, they can also be nice and kind. People that are green tend to be young. Being kind and young means that if they are also blue, they are always red.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Fred is green.
True
1
proof
[(triple9)]
("Fred" "is" "green" "+")
triple9
Charlie is not kind.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "kind" "-")
triple7
Bob is young.
True
2
proof
[(((triple3) -> rule6))]
("Bob" "is" "young" "+")
((triple3) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple4) -> rule3))]
("Bob" "is" "blue" "-")
((triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
True
4
proof
[(((((triple3) -> rule6) triple2) -> rule4))]
("Bob" "is" "cold" "+")
((((triple3) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not cold.
False
4
inv-proof
[(((((triple3) -> rule6) triple2) -> rule4))]
("Bob" "is" "cold" "-")
((((triple3) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
True
8
proof
[(((((((triple3) -> rule6) triple2) -> rule4) ((triple4) -> rule3) triple4) -> rule1))]
("Bob" "is" "nice" "+")
((((((triple3) -> (rule6 % int4)) triple2) -> (rule4 % int3)) ((triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not nice.
False
8
inv-proof
[(((((((triple3) -> rule6) triple2) -> rule4) ((triple4) -> rule3) triple4) -> rule1))]
("Bob" "is" "nice" "-")
((((((triple3) -> (rule6 % int4)) triple2) -> (rule4 % int3)) ((triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Alan" "is" "cold" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Fred" "is" "red" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is blue.[(triple1)] Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Charlie is green.[(triple8)] Charlie is kind.[(triple7)] Charlie is red.[(triple6)] Charlie is rough.[(triple5)] Fred is green.[(triple9)] @1: Bob is blue.[(((triple4) -> rule3))] Bob is young.[(((triple3) -> rule6))] Charlie is young.[(((triple8) -> rule6))] Fred is young.[(((triple9) -> rule6))] @2: Bob is cold.[(((((triple3) -> rule6) triple2) -> rule4))] Bob is red.[(((((triple4) -> rule3) triple2 ((triple3) -> rule6)) -> rule7))] Charlie is cold.[(((((triple8) -> rule6) triple7) -> rule4))] @3: Bob is nice.[(((((((triple3) -> rule6) triple2) -> rule4) ((triple4) -> rule3) triple4) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple9
Bob is blue.
("Bob" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple8) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple9) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple4) -> (rule3 % int3)) triple2 ((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple8) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple3) -> (rule6 % int4)) triple2) -> (rule4 % int3)) ((triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Alan wears all blue.
Bob, a green man, was also big, but underneath he was kind.
Charlie is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
Fred ate some rotten meat and now feels green.
A big person who feels cold and has blue skin is a nice person.
A kind, cold, round person will be nice in addition.
Anybody that is big is also someone who is going to be blue.
If a human is both young and kind, they are also cold.
As someone can be round and rough, they can also be nice and kind.
People that are green tend to be young.
Being kind and young means that if they are also blue, they are always red.