Young Alan is wearing green pants. Charlie wears all blue. Because Eric gets cold easily he tends to appear round from bundling up. Even though he's a big dude, Fred is cold. Kind, rough people who are nice are also cold. Anyone that's rough and cold is also going to be blue. People who are big and kind and feel down and blue tend to have rough skin. A green person is going to be rough. A person with a round body will be feeling very cold and will be rough to handle. Anyone who's blue is also green. People who are cold and and red are also young and kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Alan is green.
True
1
proof
[(triple2)]
("Alan" "is" "green" "+")
triple2
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Charlie is green.
True
2
proof
[(((triple3) -> rule6))]
("Charlie" "is" "green" "+")
((triple3) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple5 triple4) -> rule5))]
("Eric" "is" "rough" "-")
((triple5 triple4) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Charlie is rough.
True
3
proof
[(((((triple3) -> rule6)) -> rule4))]
("Charlie" "is" "rough" "+")
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not rough.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule4))]
("Charlie" "is" "rough" "-")
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Eric is green.
True
6
proof
[(((((triple5 ((triple5 triple4) -> rule5)) -> rule2)) -> rule6))]
("Eric" "is" "green" "+")
((((triple5 ((triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not green.
False
6
inv-proof
[(((((triple5 ((triple5 triple4) -> rule5)) -> rule2)) -> rule6))]
("Eric" "is" "green" "-")
((((triple5 ((triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fred is blue.
Unknown
rconc
[@3: Fred is blue.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule6 <- FAIL)]]
("Fred" "is" "blue" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "kind" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple3)] Eric is cold.[(triple5)] Eric is round.[(triple4)] Fred is big.[(triple7)] Fred is cold.[(triple6)] @1: Alan is rough.[(((triple2) -> rule4))] Charlie is green.[(((triple3) -> rule6))] Eric is rough.[(((triple5 triple4) -> rule5))] @2: Charlie is rough.[(((((triple3) -> rule6)) -> rule4))] Eric is blue.[(((triple5 ((triple5 triple4) -> rule5)) -> rule2))] @3: Eric is green.[(((((triple5 ((triple5 triple4) -> rule5)) -> rule2)) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Alan is rough.
("Alan" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple3) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple5 triple4) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 ((triple5 triple4) -> (rule5 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple5 ((triple5 triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Young Alan is wearing green pants.
Charlie wears all blue.
Because Eric gets cold easily he tends to appear round from bundling up.
Even though he's a big dude, Fred is cold.
Kind, rough people who are nice are also cold.
Anyone that's rough and cold is also going to be blue.
People who are big and kind and feel down and blue tend to have rough skin.
A green person is going to be rough.
A person with a round body will be feeling very cold and will be rough to handle.
Anyone who's blue is also green.
People who are cold and and red are also young and kind.