Bob wears all blue. Though he is young, Charlie is still nice despite being quite blue. Due to the fact that Fred is young, he is red and green. He remains kind nevertheless. A kind, round person will surely be red as well. Someone who has a a young round face is often rough around the edges. A person with nice, blue traits who is young will surely be a round person. Everyone who manages to be both rough and round are also kind. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. Kind and blue people,though young,tend to be big. Anyone who's got young, round and big traits is bound to have a red trait, too.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Fred is red.
True
1
proof
[(triple6)]
("Fred" "is" "red" "+")
triple6
Fred is not green.
False
1
inv-proof
[(triple8)]
("Fred" "is" "green" "-")
triple8
Charlie is round.
True
4
proof
[(((triple4 triple3 triple2) -> rule3))]
("Charlie" "is" "round" "+")
((triple4 triple3 triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
4
inv-proof
[(((triple4 triple3 triple2) -> rule3))]
("Charlie" "is" "round" "-")
((triple4 triple3 triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
True
6
proof
[(((((triple4 triple3 triple2) -> rule3) triple2) -> rule2))]
("Charlie" "is" "rough" "+")
((((triple4 triple3 triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not rough.
False
6
inv-proof
[(((((triple4 triple3 triple2) -> rule3) triple2) -> rule2))]
("Charlie" "is" "rough" "-")
((((triple4 triple3 triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
True
11
proof
[(((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4))]
("Charlie" "is" "kind" "+")
((((((triple4 triple3 triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2)) ((triple4 triple3 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not kind.
False
11
inv-proof
[(((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4))]
("Charlie" "is" "kind" "-")
((((((triple4 triple3 triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2)) ((triple4 triple3 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
True
14
proof
[(((((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4) triple4 triple2) -> rule6))]
("Charlie" "is" "big" "+")
((((((((triple4 triple3 triple2) -> (rule3 % int4)) triple2) -> (rule2 % int3)) ((triple4 triple3 triple2) -> (rule3 % int4))) -> (rule4 % int2)) triple4 triple2) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not red.
False
16
inv-proof
[(((((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4) ((triple4 triple3 triple2) -> rule3)) -> rule1) OR ((triple2 ((((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4) triple4 triple2) -> rule6) ((triple4 triple3 triple2) -> rule3)) -> rule7))]
("Charlie" "is" "red" "-")
((((((((triple4 triple3 triple2) -> (rule3 % int4)) triple2) -> (rule2 % int3)) ((triple4 triple3 triple2) -> (rule3 % int4))) -> (rule4 % int2)) ((triple4 triple3 triple2) -> (rule3 % int4))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple2 ((((((((triple4 triple3 triple2) -> (rule3 % int5)) triple2) -> (rule2 % int4)) ((triple4 triple3 triple2) -> (rule3 % int5))) -> (rule4 % int3)) triple4 triple2) -> (rule6 % int2)) ((triple4 triple3 triple2) -> (rule3 % int5))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "big" "-")
Bob is nice.
Unknown
rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "round" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Fred is young.[(triple5)] @1: Charlie is round.[(((triple4 triple3 triple2) -> rule3))] @2: Charlie is rough.[(((((triple4 triple3 triple2) -> rule3) triple2) -> rule2))] @3: Charlie is kind.[(((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4))] @4: Charlie is big.[(((((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4) triple4 triple2) -> rule6))] Charlie is red.[(((((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4) ((triple4 triple3 triple2) -> rule3)) -> rule1) OR ((triple2 ((((((((triple4 triple3 triple2) -> rule3) triple2) -> rule2) ((triple4 triple3 triple2) -> rule3)) -> rule4) triple4 triple2) -> rule6) ((triple4 triple3 triple2) -> rule3)) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple3 triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple4 triple3 triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((triple4 triple3 triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2)) ((triple4 triple3 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((((((((triple4 triple3 triple2) -> (rule3 % int4)) triple2) -> (rule2 % int3)) ((triple4 triple3 triple2) -> (rule3 % int4))) -> (rule4 % int2)) triple4 triple2) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((((((((triple4 triple3 triple2) -> (rule3 % int4)) triple2) -> (rule2 % int3)) ((triple4 triple3 triple2) -> (rule3 % int4))) -> (rule4 % int2)) ((triple4 triple3 triple2) -> (rule3 % int4))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple2 ((((((((triple4 triple3 triple2) -> (rule3 % int5)) triple2) -> (rule2 % int4)) ((triple4 triple3 triple2) -> (rule3 % int5))) -> (rule4 % int3)) triple4 triple2) -> (rule6 % int2)) ((triple4 triple3 triple2) -> (rule3 % int5))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Bob wears all blue.
Though he is young, Charlie is still nice despite being quite blue.
Due to the fact that Fred is young, he is red and green; He remains kind nevertheless.
A kind, round person will surely be red as well.
Someone who has a a young round face is often rough around the edges.
A person with nice, blue traits who is young will surely be a round person.
Everyone who manages to be both rough and round are also kind.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
Kind and blue people,though young,tend to be big.
Anyone who's got young, round and big traits is bound to have a red trait, too.