Alan is a nice person, but he is both blue and red. Charlie, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Dave wears all blue. When a young person has a round shape and feels blue, they will be green as well. A cold person who is round but rough around the edges is big. When someone is young and round, dressing in blue they can be nice. A person with a round body will be feeling very cold and will be rough to handle. Blue and red people who are young always have rough skin. Nice people are cold people. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and young and blue then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Alan is blue.
True
1
proof
[(triple3)]
("Alan" "is" "blue" "+")
triple3
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Alan is cold.
True
2
proof
[(((triple2) -> rule6))]
("Alan" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
2
inv-proof
[(((triple2) -> rule6))]
("Alan" "is" "cold" "-")
((triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Charlie is rough.
True
4
proof
[(((((triple5) -> rule6) triple4) -> rule4))]
("Charlie" "is" "rough" "+")
((((triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple5) -> rule6) triple4) -> rule4))]
("Charlie" "is" "rough" "-")
((((triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
True
8
proof
[(((triple4 ((triple5) -> rule6) ((((triple5) -> rule6) triple4) -> rule4)) -> rule2))]
("Charlie" "is" "big" "+")
((triple4 ((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not big.
False
8
inv-proof
[(((triple4 ((triple5) -> rule6) ((((triple5) -> rule6) triple4) -> rule4)) -> rule2))]
("Charlie" "is" "big" "-")
((triple4 ((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is green.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Dave is blue.[(triple8)] @1: Alan is cold.[(((triple2) -> rule6))] Charlie is cold.[(((triple5) -> rule6))] @2: Charlie is rough.[(((((triple5) -> rule6) triple4) -> rule4))] @3: Charlie is big.[(((triple4 ((triple5) -> rule6) ((((triple5) -> rule6) triple4) -> rule4)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Alan is cold.
("Alan" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 ((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Alan is a nice person, but he is both blue and red.
Charlie, a kind and nice man, is wearing a green sweatshirt; He is also a fairly round sized man in shape.
Dave wears all blue.
When a young person has a round shape and feels blue, they will be green as well.
A cold person who is round but rough around the edges is big.
When someone is young and round, dressing in blue they can be nice.
A person with a round body will be feeling very cold and will be rough to handle.
Blue and red people who are young always have rough skin.
Nice people are cold people.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.