Bob 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. Charlie is both big and round, with blue features. Both green but also blue, Eric is nice and kind while being cold. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Rough folks with green and red coloration tend to feel cold no matter what. When a person's traits are to be big, blue and cold, they will also have a red trait. When someone is kind and their cheeks flame red with embarrassment I know that they are young. A person that is green also someone who is big.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Charlie is blue.
True
1
proof
[(triple4)]
("Charlie" "is" "blue" "+")
triple4
Fred is not kind.
False
1
inv-proof
[(triple11)]
("Fred" "is" "kind" "-")
triple11
Eric is big.
True
2
proof
[(((triple8) -> rule4))]
("Eric" "is" "big" "+")
((triple8) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
2
inv-proof
[(((triple8) -> rule4))]
("Eric" "is" "big" "-")
((triple8) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
True
5
proof
[(((((triple8) -> rule4) triple9 triple10) -> rule2))]
("Eric" "is" "red" "+")
((((triple8) -> (rule4 % int2)) triple9 triple10) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not red.
False
5
inv-proof
[(((((triple8) -> rule4) triple9 triple10) -> rule2))]
("Eric" "is" "red" "-")
((((triple8) -> (rule4 % int2)) triple9 triple10) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
True
7
proof
[(((triple7 ((((triple8) -> rule4) triple9 triple10) -> rule2)) -> rule3))]
("Eric" "is" "young" "+")
((triple7 ((((triple8) -> (rule4 % int3)) triple9 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not young.
False
7
inv-proof
[(((triple7 ((((triple8) -> rule4) triple9 triple10) -> rule2)) -> rule3))]
("Eric" "is" "young" "-")
((triple7 ((((triple8) -> (rule4 % int3)) triple9 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is red.
Unknown
rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Bob" "is" "red" "+")
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is young.
Unknown
rconc
[@3: Fred is young.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule4 <- FAIL)]]
("Fred" "is" "young" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is blue.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Charlie is round.[(triple3)] Eric is blue.[(triple10)] Eric is cold.[(triple9)] Eric is green.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Fred is blue.[(triple12)] Fred is kind.[(triple11)] @1: Eric is big.[(((triple8) -> rule4))] @2: Eric is red.[(((((triple8) -> rule4) triple9 triple10) -> rule2))] @3: Eric is young.[(((triple7 ((((triple8) -> rule4) triple9 triple10) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Eric is big.
("Eric" "is" "big" "+")
((triple8) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((((triple8) -> (rule4 % int2)) triple9 triple10) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple7 ((((triple8) -> (rule4 % int3)) triple9 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Bob 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.
Charlie is both big and round, with blue features.
Both green but also blue, Eric is nice and kind while being cold.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
Rough folks with green and red coloration tend to feel cold no matter what.
When a person's traits are to be big, blue and cold, they will also have a red trait.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
A person that is green also someone who is big.