For someone so round, Alan turns blue when he's cold. No wonder he's so rough and red with anger all the time. Bob is big and seems cold, but he's just green. Really, he is nice and often red with laughter. Red Harry is what folks call him, because he is quite red. Big and round people who arent cold, tend to be very kind. Any person who is blue and round, if they are kind at the same time, will be young. Anyone that's rough and cold is also going to be blue. Young, round people seem to be big in our experience. Anyone who is round and also cold will surely be big as well.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Harry is red.
True
1
proof
[(triple11)]
("Harry" "is" "red" "+")
triple11
Bob is not red.
False
1
inv-proof
[(triple6)]
("Bob" "is" "red" "-")
triple6
Alan is big.
True
3
proof
[(((triple1 triple4) -> rule5))]
("Alan" "is" "big" "+")
((triple1 triple4) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple1 triple4) -> rule5))]
("Alan" "is" "big" "-")
((triple1 triple4) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
True
6
proof
[(((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1))]
("Alan" "is" "kind" "+")
((triple4 ((triple1 triple4) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not kind.
False
6
inv-proof
[(((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1))]
("Alan" "is" "kind" "-")
((triple4 ((triple1 triple4) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
True
9
proof
[(((triple5 triple1 ((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1)) -> rule2) OR ((((triple4 triple2) -> rule3) triple1 ((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1)) -> rule2))]
("Alan" "is" "young" "+")
((triple5 triple1 ((triple4 ((triple1 triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2) -> (rule3 % int4)) triple1 ((triple4 ((triple1 triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not young.
False
9
inv-proof
[(((triple5 triple1 ((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1)) -> rule2) OR ((((triple4 triple2) -> rule3) triple1 ((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1)) -> rule2))]
("Alan" "is" "young" "-")
((triple5 triple1 ((triple4 ((triple1 triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2) -> (rule3 % int4)) triple1 ((triple4 ((triple1 triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is blue.[(triple5 OR ((triple4 triple2) -> rule3))] Alan is cold.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple10)] Bob is cold.[(triple9)] Bob is green.[(triple8)] Bob is nice.[(triple7)] Bob is red.[(triple6)] Harry is red.[(triple11)] @1: Alan is big.[(((triple1 triple4) -> rule5))] @2: Alan is kind.[(((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1))] @3: Alan is young.[(((triple5 triple1 ((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1)) -> rule2) OR ((((triple4 triple2) -> rule3) triple1 ((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
((triple4 triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple11
Alan is big.
("Alan" "is" "big" "+")
((triple1 triple4) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 ((triple1 triple4) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple5 triple1 ((triple4 ((triple1 triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple4 triple2) -> (rule3 % int4)) triple1 ((triple4 ((triple1 triple4) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
For someone so round, Alan turns blue when he's cold; No wonder he's so rough and red with anger all the time.
Bob is big and seems cold, but he's just green; Really, he is nice and often red with laughter.
Red Harry is what folks call him, because he is quite red.
Big and round people who arent cold, tend to be very kind.
Any person who is blue and round, if they are kind at the same time, will be young.
Anyone that's rough and cold is also going to be blue.
Young, round people seem to be big in our experience.
Anyone who is round and also cold will surely be big as well.