Bob's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Young Dave is wearing green pants. Gary looks red to most people, with blue features. All people that are rough and cold, as well as nice will be kind if you talk to them. Nice and blue people have to be big as well. Folks who are nice and young with red coloration tend to feel blue. Anyone who's got young, round and big traits is bound to have a red trait, too. Being cold and blue made them rough to deal with. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Looking blue can be a sign that someone is cold.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("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 nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Dave is green.
True
1
proof
[(triple5)]
("Dave" "is" "green" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple6)]
("Gary" "is" "red" "-")
triple6
Bob is big.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Bob" "is" "big" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple7) -> rule7))]
("Gary" "is" "cold" "-")
((triple7) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is rough.
True
4
proof
[(((((triple3) -> rule7) triple3) -> rule5))]
("Bob" "is" "rough" "+")
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Gary is not rough.
False
4
inv-proof
[(((((triple7) -> rule7) triple7) -> rule5))]
("Gary" "is" "rough" "-")
((((triple7) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is kind.
True
8
proof
[(((triple1 ((((triple3) -> rule7) triple3) -> rule5) ((triple3) -> rule7)) -> rule1))]
("Bob" "is" "kind" "+")
((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2)) ((triple3) -> (rule7 % int3))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not kind.
False
8
inv-proof
[(((triple1 ((((triple3) -> rule7) triple3) -> rule5) ((triple3) -> rule7)) -> rule1))]
("Bob" "is" "kind" "-")
((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2)) ((triple3) -> (rule7 % int3))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
True
11
proof
[(((triple2 ((triple1 ((((triple3) -> rule7) triple3) -> rule5) ((triple3) -> rule7)) -> rule1) triple3) -> rule6))]
("Bob" "is" "red" "+")
((triple2 ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((triple3) -> (rule7 % int4))) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not red.
False
11
inv-proof
[(((triple2 ((triple1 ((((triple3) -> rule7) triple3) -> rule5) ((triple3) -> rule7)) -> rule1) triple3) -> rule6))]
("Bob" "is" "red" "-")
((triple2 ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((triple3) -> (rule7 % int4))) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Dave is green.[(triple5)] Dave is young.[(triple4)] Gary is blue.[(triple7)] Gary is red.[(triple6)] @1: Bob is big.[(((triple1 triple3) -> rule2))] Bob is cold.[(((triple3) -> rule7))] Gary is cold.[(((triple7) -> rule7))] @2: Bob is rough.[(((((triple3) -> rule7) triple3) -> rule5))] Gary is rough.[(((((triple7) -> rule7) triple7) -> rule5))] @3: Bob is kind.[(((triple1 ((((triple3) -> rule7) triple3) -> rule5) ((triple3) -> rule7)) -> rule1))] @4: Bob is red.[(((triple2 ((triple1 ((((triple3) -> rule7) triple3) -> rule5) ((triple3) -> rule7)) -> rule1) triple3) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2)) ((triple3) -> (rule7 % int3))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple2 ((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((triple3) -> (rule7 % int4))) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Young Dave is wearing green pants.
Gary looks red to most people, with blue features.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Nice and blue people have to be big as well.
Folks who are nice and young with red coloration tend to feel blue.
Anyone who's got young, round and big traits is bound to have a red trait, too.
Being cold and blue made them rough to deal with.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
Looking blue can be a sign that someone is cold.