Alan is colored blue and red, and you will notice is he is also big and round. Bob ate some rotten meat and now feels green. Charlie is nice and kind despite the appearance of his cold, red skin. When young, round people are cold it their skin gets a blue tinge to it. A round person who is cold is big. A big person in size will definitely be rough. As far as anyone can tell, whoever is kind, rough, and big is a round person. A person with big hair and rough lips is certainly young and jaded. A cold, red person with a kind disposition will certainly be big.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Charlie is cold.
True
1
proof
[(triple9)]
("Charlie" "is" "cold" "+")
triple9
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Charlie is big.
True
4
proof
[(((triple6 triple9 triple8) -> rule6))]
("Charlie" "is" "big" "+")
((triple6 triple9 triple8) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Alan is not rough.
False
2
inv-proof
[(((triple4) -> rule3))]
("Alan" "is" "rough" "-")
((triple4) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
True
4
proof
[(((((triple4) -> rule3) triple4) -> rule5))]
("Alan" "is" "young" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not young.
False
4
inv-proof
[(((((triple4) -> rule3) triple4) -> rule5))]
("Alan" "is" "young" "-")
((((triple4) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Charlie is young.
True
10
proof
[(((((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule5))]
("Charlie" "is" "young" "+")
((((((triple6 triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) ((triple6 triple9 triple8) -> (rule6 % int3))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not young.
False
10
inv-proof
[(((((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule5))]
("Charlie" "is" "young" "-")
((((((triple6 triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) ((triple6 triple9 triple8) -> (rule6 % int3))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
True
23
proof
[(((((((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule5) ((triple8 ((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule4) triple9) -> rule1))]
("Charlie" "is" "blue" "+")
((((((((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule3 % int4)) ((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule5 % int3)) ((triple8 ((((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule3 % int4)) ((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is not blue.
False
23
inv-proof
[(((((((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule5) ((triple8 ((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule4) triple9) -> rule1))]
("Charlie" "is" "blue" "-")
((((((((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule3 % int4)) ((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule5 % int3)) ((triple8 ((((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule3 % int4)) ((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple5)] Charlie is cold.[(triple9)] Charlie is kind.[(triple8)] Charlie is nice.[(triple7)] Charlie is red.[(triple6)] @1: Alan is rough.[(((triple4) -> rule3))] Charlie is big.[(((triple6 triple9 triple8) -> rule6))] @2: Alan is young.[(((((triple4) -> rule3) triple4) -> rule5))] Charlie is rough.[(((((triple6 triple9 triple8) -> rule6)) -> rule3))] @3: Charlie is round.[(((triple8 ((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule4))] Charlie is young.[(((((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule5))] @4: Charlie is blue.[(((((((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule5) ((triple8 ((((triple6 triple9 triple8) -> rule6)) -> rule3) ((triple6 triple9 triple8) -> rule6)) -> rule4) triple9) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Alan is rough.
("Alan" "is" "rough" "+")
((triple4) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple6 triple9 triple8) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple6 triple9 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple8 ((((triple6 triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) ((triple6 triple9 triple8) -> (rule6 % int3))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple6 triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) ((triple6 triple9 triple8) -> (rule6 % int3))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule3 % int4)) ((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule5 % int3)) ((triple8 ((((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule3 % int4)) ((triple6 triple9 triple8) -> (rule6 % int5))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Alan is colored blue and red, and you will notice is he is also big and round.
Bob ate some rotten meat and now feels green.
Charlie is nice and kind despite the appearance of his cold, red skin.
When young, round people are cold it their skin gets a blue tinge to it.
A round person who is cold is big.
A big person in size will definitely be rough.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
A person with big hair and rough lips is certainly young and jaded.
A cold, red person with a kind disposition will certainly be big.