Big Alan is nice and red with sunburn and green hair. Bob is rough and green, but he's also nice, kind and round. Upon meeting Charlie, you'll notice he's green and kind. They always call him rough Dave. A cold person who is round but rough around the edges is big. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. A kind and big person is young. If you see someone who is red and green they are round, like Santa Claus. Maybe someone is rough and blue with the cold. A person that is feeling blue and slightly big, is red as well. If a person is quite big and also round then they are certainly rough too.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
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 rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Bob is kind.
True
1
proof
[(triple8)]
("Bob" "is" "kind" "+")
triple8
Charlie is not kind.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "kind" "-")
triple10
Alan is round.
True
3
proof
[(((triple1 triple3) -> rule4))]
("Alan" "is" "round" "+")
((triple1 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple1 triple3) -> rule4))]
("Alan" "is" "round" "-")
((triple1 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
True
5
proof
[(((triple4 ((triple1 triple3) -> rule4)) -> rule7))]
("Alan" "is" "rough" "+")
((triple4 ((triple1 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not rough.
False
5
inv-proof
[(((triple4 ((triple1 triple3) -> rule4)) -> rule7))]
("Alan" "is" "rough" "-")
((triple4 ((triple1 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
True
8
proof
[(((((triple4 ((triple1 triple3) -> rule4)) -> rule7) triple2 triple1) -> rule2))]
("Alan" "is" "blue" "+")
((((triple4 ((triple1 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not blue.
False
8
inv-proof
[(((((triple4 ((triple1 triple3) -> rule4)) -> rule7) triple2 triple1) -> rule2))]
("Alan" "is" "blue" "-")
((((triple4 ((triple1 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is cold.
True
14
proof
[(((((triple4 ((triple1 triple3) -> rule4)) -> rule7) ((((triple4 ((triple1 triple3) -> rule4)) -> rule7) triple2 triple1) -> rule2)) -> rule5))]
("Alan" "is" "cold" "+")
((((triple4 ((triple1 triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4 ((triple1 triple3) -> (rule4 % int4))) -> (rule7 % int3)) triple2 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is not cold.
False
14
inv-proof
[(((((triple4 ((triple1 triple3) -> rule4)) -> rule7) ((((triple4 ((triple1 triple3) -> rule4)) -> rule7) triple2 triple1) -> rule2)) -> rule5))]
("Alan" "is" "cold" "-")
((((triple4 ((triple1 triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4 ((triple1 triple3) -> (rule4 % int4))) -> (rule7 % int3)) triple2 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@5: Bob is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule5 <- rule2 <- rule6 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not big.
Unknown
inv-rconc
[@4: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule2 <- rule6 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple9)] Bob is kind.[(triple8)] Bob is nice.[(triple7)] Bob is rough.[(triple6)] Bob is round.[(triple5)] Charlie is green.[(triple11)] Charlie is kind.[(triple10)] Dave is rough.[(triple12)] @1: Alan is round.[(((triple1 triple3) -> rule4))] @2: Alan is rough.[(((triple4 ((triple1 triple3) -> rule4)) -> rule7))] @3: Alan is blue.[(((((triple4 ((triple1 triple3) -> rule4)) -> rule7) triple2 triple1) -> rule2))] @4: Alan is cold.[(((((triple4 ((triple1 triple3) -> rule4)) -> rule7) ((((triple4 ((triple1 triple3) -> rule4)) -> rule7) triple2 triple1) -> rule2)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple12
Alan is round.
("Alan" "is" "round" "+")
((triple1 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 ((triple1 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((((triple4 ((triple1 triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple2 triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
((((triple4 ((triple1 triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4 ((triple1 triple3) -> (rule4 % int4))) -> (rule7 % int3)) triple2 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Big Alan is nice and red with sunburn and green hair.
Bob is rough and green, but he's also nice, kind and round.
Upon meeting Charlie, you'll notice he's green and kind.
They always call him rough Dave.
A cold person who is round but rough around the edges is big.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
A kind and big person is young.
If you see someone who is red and green they are round, like Santa Claus.
Maybe someone is rough and blue with the cold.
A person that is feeling blue and slightly big, is red as well.
If a person is quite big and also round then they are certainly rough too.