Alan is a cold young man. He is prone the being blue with sadness because he is green with envy. Young Bob is wearing green pants. Because Charlie gets cold easily he tends to appear round from bundling up. Eric is young, but very kind to others. Eric is big, with round features. A green and blue colored person who is young will certainly be big. Big and round people can't help but be cold all of the time. Young,cold and blue people are mostly round. Nobody who is round and rough and big can keep themselves from being nice. A big person with cold, rough skin is going to be green as well. Get a rather green person who is both nice, but cold to others, then they are certain to be round. People that are blue, cold, and big, are rather rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and green and cold then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Bob is green.
True
1
proof
[(triple6)]
("Bob" "is" "green" "+")
triple6
Charlie is not round.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "round" "-")
triple7
Alan is round.
True
4
proof
[(((triple4 triple1 triple3) -> rule3))]
("Alan" "is" "round" "+")
((triple4 triple1 triple3) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not big.
False
4
inv-proof
[(((triple2 triple1 triple4) -> rule1))]
("Alan" "is" "big" "-")
((triple2 triple1 triple4) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
True
7
proof
[(((triple4 triple3 ((triple2 triple1 triple4) -> rule1)) -> rule7))]
("Alan" "is" "rough" "+")
((triple4 triple3 ((triple2 triple1 triple4) -> (rule1 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not rough.
False
7
inv-proof
[(((triple4 triple3 ((triple2 triple1 triple4) -> rule1)) -> rule7))]
("Alan" "is" "rough" "-")
((triple4 triple3 ((triple2 triple1 triple4) -> (rule1 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is nice.
True
16
proof
[(((((triple4 triple1 triple3) -> rule3) ((triple4 triple3 ((triple2 triple1 triple4) -> rule1)) -> rule7) ((triple2 triple1 triple4) -> rule1)) -> rule4))]
("Alan" "is" "nice" "+")
((((triple4 triple1 triple3) -> (rule3 % int4)) ((triple4 triple3 ((triple2 triple1 triple4) -> (rule1 % int3))) -> (rule7 % int2)) ((triple2 triple1 triple4) -> (rule1 % int3))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is not nice.
False
16
inv-proof
[(((((triple4 triple1 triple3) -> rule3) ((triple4 triple3 ((triple2 triple1 triple4) -> rule1)) -> rule7) ((triple2 triple1 triple4) -> rule1)) -> rule4))]
("Alan" "is" "nice" "-")
((((triple4 triple1 triple3) -> (rule3 % int4)) ((triple4 triple3 ((triple2 triple1 triple4) -> (rule1 % int3))) -> (rule7 % int2)) ((triple2 triple1 triple4) -> (rule1 % int3))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Charlie" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple6)] Bob is young.[(triple5)] Charlie is cold.[(triple8)] Charlie is round.[(triple7)] Eric is big.[(triple12)] Eric is kind.[(triple11)] Eric is round.[(triple10)] Eric is young.[(triple9)] @1: Alan is big.[(((triple2 triple1 triple4) -> rule1))] Alan is round.[(((triple4 triple1 triple3) -> rule3))] Eric is cold.[(((triple12 triple10) -> rule2))] @2: Alan is rough.[(((triple4 triple3 ((triple2 triple1 triple4) -> rule1)) -> rule7))] @3: Alan is nice.[(((((triple4 triple1 triple3) -> rule3) ((triple4 triple3 ((triple2 triple1 triple4) -> rule1)) -> rule7) ((triple2 triple1 triple4) -> rule1)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is kind.
("Eric" "is" "kind" "+")
triple11
Eric is round.
("Eric" "is" "round" "+")
triple10
Eric is young.
("Eric" "is" "young" "+")
triple9
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple1 triple4) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple4 triple1 triple3) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple12 triple10) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 triple3 ((triple2 triple1 triple4) -> (rule1 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple4 triple1 triple3) -> (rule3 % int4)) ((triple4 triple3 ((triple2 triple1 triple4) -> (rule1 % int3))) -> (rule7 % int2)) ((triple2 triple1 triple4) -> (rule1 % int3))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is a cold young man; He is prone the being blue with sadness because he is green with envy.
Young Bob is wearing green pants.
Because Charlie gets cold easily he tends to appear round from bundling up.
Eric is young, but very kind to others; Eric is big, with round features.
A green and blue colored person who is young will certainly be big.
Big and round people can't help but be cold all of the time.
Young,cold and blue people are mostly round.
Nobody who is round and rough and big can keep themselves from being nice.
A big person with cold, rough skin is going to be green as well.
Get a rather green person who is both nice, but cold to others, then they are certain to be round.
People that are blue, cold, and big, are rather rough.