When you meet Alan you'll the two characteristics that will standout is that he's red but also rough. Bob is a nice, kind young man.  Bob keeps a sweater with him because he is always cold. My friend Charlie is very young. People say he is nice for having a round shape. Harry is known to be rough and green. A cold person with a round figure who is kind to others is nice as well. If people are cold they are often red. Any human being with green, big, kind eyes, also has round eyes. Anybody who is so cold that they are red and blue must be young. People who are nice and big and red are green. Interestingly, cold and rough people are kind. If you run into a cold and kind person, they are always big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and cold and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red and cold then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Bob is kind.
True
1
proof
[(triple5)]
("Bob" "is" "kind" "+")
triple5
Charlie is not young.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "young" "-")
triple7
Bob is red.
True
2
proof
[(((triple6) -> rule2))]
("Bob" "is" "red" "+")
((triple6) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple6 triple5) -> rule7))]
("Bob" "is" "big" "-")
((triple6 triple5) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
True
7
proof
[(((triple4 ((triple6 triple5) -> rule7) ((triple6) -> rule2)) -> rule5))]
("Bob" "is" "green" "+")
((triple4 ((triple6 triple5) -> (rule7 % int3)) ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not green.
False
7
inv-proof
[(((triple4 ((triple6 triple5) -> rule7) ((triple6) -> rule2)) -> rule5))]
("Bob" "is" "green" "-")
((triple4 ((triple6 triple5) -> (rule7 % int3)) ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
True
12
proof
[(((((triple4 ((triple6 triple5) -> rule7) ((triple6) -> rule2)) -> rule5) ((triple6 triple5) -> rule7) triple5) -> rule3))]
("Bob" "is" "round" "+")
((((triple4 ((triple6 triple5) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule5 % int2)) ((triple6 triple5) -> (rule7 % int4)) triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not round.
False
12
inv-proof
[(((((triple4 ((triple6 triple5) -> rule7) ((triple6) -> rule2)) -> rule5) ((triple6 triple5) -> rule7) triple5) -> rule3))]
("Bob" "is" "round" "-")
((((triple4 ((triple6 triple5) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule5 % int2)) ((triple6 triple5) -> (rule7 % int4)) triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "big" "-")
Alan is round.
Unknown
rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Alan" "is" "round" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is cold.[(triple6)] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is young.[(triple3)] Charlie is nice.[(triple9)] Charlie is round.[(triple8)] Charlie is young.[(triple7)] Harry is green.[(triple11)] Harry is rough.[(triple10)] @1: Bob is big.[(((triple6 triple5) -> rule7))] Bob is red.[(((triple6) -> rule2))] @2: Bob is green.[(((triple4 ((triple6 triple5) -> rule7) ((triple6) -> rule2)) -> rule5))] @3: Bob is round.[(((((triple4 ((triple6 triple5) -> rule7) ((triple6) -> rule2)) -> rule5) ((triple6 triple5) -> rule7) triple5) -> rule3))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple6 triple5) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple6) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple4 ((triple6 triple5) -> (rule7 % int3)) ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple4 ((triple6 triple5) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule5 % int2)) ((triple6 triple5) -> (rule7 % int4)) triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
When you meet Alan you'll the two characteristics that will standout is that he's red but also rough.
Bob is a nice, kind young man; Bob keeps a sweater with him because he is always cold.
My friend Charlie is very young; People say he is nice for having a round shape.
Harry is known to be rough and green.
A cold person with a round figure who is kind to others is nice as well.
If people are cold they are often red.
Any human being with green, big, kind eyes, also has round eyes.
Anybody who is so cold that they are red and blue must be young.
People who are nice and big and red are green.
Interestingly, cold and rough people are kind.
If you run into a cold and kind person, they are always big.