That Alan is as round and red as a cherry, and twice as kind. Bob had big, red, round cheeks. From a certain angle Charlie is blue but he is young so maybe that will go away. Eric is a nice person, but he is both blue and red. A person that is both green and red tends to be cold as well. Red people feel blue about it. A big blue someone could also be green. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. Anyone that is nice and kind and also green will usually be young as well. Kind people who look green are almost always young in age. People that are blue, cold, and big, are rather rough.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is young.
True
1
proof
[(triple7)]
("Charlie" "is" "young" "+")
triple7
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Alan is blue.
True
2
proof
[(((triple2) -> rule2))]
("Alan" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple5) -> rule2))]
("Bob" "is" "blue" "-")
((triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
True
4
proof
[(((((triple5) -> rule2) triple6) -> rule3))]
("Bob" "is" "green" "+")
((((triple5) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not green.
False
4
inv-proof
[(((((triple5) -> rule2) triple6) -> rule3))]
("Bob" "is" "green" "-")
((((triple5) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
True
6
proof
[(((((((triple5) -> rule2) triple6) -> rule3) triple5) -> rule1))]
("Bob" "is" "cold" "+")
((((((triple5) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not cold.
False
6
inv-proof
[(((((((triple5) -> rule2) triple6) -> rule3) triple5) -> rule1))]
("Bob" "is" "cold" "-")
((((((triple5) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
True
10
proof
[(((((triple5) -> rule2) ((((((triple5) -> rule2) triple6) -> rule3) triple5) -> rule1) triple6) -> rule7))]
("Bob" "is" "rough" "+")
((((triple5) -> (rule2 % int4)) ((((((triple5) -> (rule2 % int4)) triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not rough.
False
10
inv-proof
[(((((triple5) -> rule2) ((((((triple5) -> rule2) triple6) -> rule3) triple5) -> rule1) triple6) -> rule7))]
("Bob" "is" "rough" "-")
((((triple5) -> (rule2 % int4)) ((((((triple5) -> (rule2 % int4)) triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "rough" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple6)] Bob is red.[(triple5)] Bob is round.[(triple4)] Charlie is blue.[(triple8)] Charlie is young.[(triple7)] Eric is blue.[(triple11 OR ((triple9) -> rule2))] Eric is nice.[(triple10)] Eric is red.[(triple9)] @1: Alan is blue.[(((triple2) -> rule2))] Bob is blue.[(((triple5) -> rule2))] @2: Bob is green.[(((((triple5) -> rule2) triple6) -> rule3))] @3: Bob is cold.[(((((((triple5) -> rule2) triple6) -> rule3) triple5) -> rule1))] @4: Bob is rough.[(((((triple5) -> rule2) ((((((triple5) -> rule2) triple6) -> rule3) triple5) -> rule1) triple6) -> rule7))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple11
((triple9) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Alan is blue.
("Alan" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple5) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple5) -> (rule2 % int3)) triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((triple5) -> (rule2 % int4)) ((((((triple5) -> (rule2 % int4)) triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
That Alan is as round and red as a cherry, and twice as kind.
Bob had big, red, round cheeks.
From a certain angle Charlie is blue but he is young so maybe that will go away.
Eric is a nice person, but he is both blue and red.
A person that is both green and red tends to be cold as well.
Red people feel blue about it.
A big blue someone could also be green.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
Anyone that is nice and kind and also green will usually be young as well.
Kind people who look green are almost always young in age.
People that are blue, cold, and big, are rather rough.