Young Alan got into a fight that left him with red sores on his face. Bob's a round guy, and a red and green guy. Charlie is rough, round and young but also red. They always call him rough Dave. People who are rough around the edges, nice, and a bit blue are young. Kind and young people are round. Anyone that's rough and cold is also going to be blue. People that feel green are cold to people that try to help them. Someone with rough, big traits will be a green person, as well. A person with a round body will be feeling very cold and will be rough to handle. If someone is feeling blue and round in shape they are usually nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Charlie is red.
True
1
proof
[(triple9)]
("Charlie" "is" "red" "+")
triple9
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Bob is cold.
True
2
proof
[(((triple5) -> rule4))]
("Bob" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple5) -> rule4))]
("Bob" "is" "cold" "-")
((triple5) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
True
4
proof
[(((((triple5) -> rule4) triple3) -> rule6))]
("Bob" "is" "rough" "+")
((((triple5) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not rough.
False
4
inv-proof
[(((((triple5) -> rule4) triple3) -> rule6))]
("Bob" "is" "rough" "-")
((((triple5) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
True
7
proof
[(((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3))]
("Bob" "is" "blue" "+")
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not blue.
False
7
inv-proof
[(((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3))]
("Bob" "is" "blue" "-")
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
True
9
proof
[(((((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3) triple3) -> rule7))]
("Bob" "is" "nice" "+")
((((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not nice.
False
9
inv-proof
[(((((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3) triple3) -> rule7))]
("Bob" "is" "nice" "-")
((((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
True
21
proof
[(((((((triple5) -> rule4) triple3) -> rule6) ((((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3) triple3) -> rule7) ((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3)) -> rule1))]
("Bob" "is" "young" "+")
((((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4)) ((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2)) ((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is not young.
False
21
inv-proof
[(((((((triple5) -> rule4) triple3) -> rule6) ((((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3) triple3) -> rule7) ((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3)) -> rule1))]
("Bob" "is" "young" "-")
((((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4)) ((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2)) ((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "cold" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Alan" "is" "cold" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "cold" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Charlie is blue.
Unknown
rconc
[@3: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "blue" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple3)] Charlie is red.[(triple9)] Charlie is rough.[(triple8)] Charlie is round.[(triple7)] Charlie is young.[(triple6)] Dave is rough.[(triple10)] @1: Bob is cold.[(((triple5) -> rule4))] @2: Bob is rough.[(((((triple5) -> rule4) triple3) -> rule6))] @3: Bob is blue.[(((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3))] @4: Bob is nice.[(((((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3) triple3) -> rule7))] @5: Bob is young.[(((((((triple5) -> rule4) triple3) -> rule6) ((((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3) triple3) -> rule7) ((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule6)) -> rule3)) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple5) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4)) ((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2)) ((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Young Alan got into a fight that left him with red sores on his face.
Bob's a round guy, and a red and green guy.
Charlie is rough, round and young but also red.
They always call him rough Dave.
People who are rough around the edges, nice, and a bit blue are young.
Kind and young people are round.
Anyone that's rough and cold is also going to be blue.
People that feel green are cold to people that try to help them.
Someone with rough, big traits will be a green person, as well.
A person with a round body will be feeling very cold and will be rough to handle.
If someone is feeling blue and round in shape they are usually nice.