Bob is kind and round. Being round makes him a bit blue. Even though he's a big dude, Dave is cold. When you talk about Harry, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Anyone who manages to be round, blue, and green must be pretty big. People that tend to be big and green also tend to be cold. Someone who has a a young round face is often rough around the edges. Young and nice people have great big smiles. Red, young people are for the most part round too. Big people are also round people. Someone who is round like a dumpling and cold like an icicle are very young in age.
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Harry is cold.
True
1
proof
[(triple8)]
("Harry" "is" "cold" "+")
triple8
Dave is not big.
False
1
inv-proof
[(triple5)]
("Dave" "is" "big" "-")
triple5
Dave is round.
True
2
proof
[(((triple5) -> rule6))]
("Dave" "is" "round" "+")
((triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple5) -> rule6))]
("Dave" "is" "round" "-")
((triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
True
4
proof
[(((((triple5) -> rule6) triple4) -> rule7))]
("Dave" "is" "young" "+")
((((triple5) -> (rule6 % int2)) triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not young.
False
4
inv-proof
[(((((triple5) -> rule6) triple4) -> rule7))]
("Dave" "is" "young" "-")
((((triple5) -> (rule6 % int2)) triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
True
7
proof
[(((((triple5) -> rule6) ((((triple5) -> rule6) triple4) -> rule7)) -> rule3))]
("Dave" "is" "rough" "+")
((((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not rough.
False
7
inv-proof
[(((((triple5) -> rule6) ((((triple5) -> rule6) triple4) -> rule7)) -> rule3))]
("Dave" "is" "rough" "-")
((((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is rough.
Unknown
rconc
[@3: Fred is rough.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule1 <- FAIL)]]
("Fred" "is" "rough" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Harry is cold.[(triple8)] Harry is nice.[(triple7)] Harry is rough.[(triple6)] @1: Dave is round.[(((triple5) -> rule6))] @2: Dave is young.[(((((triple5) -> rule6) triple4) -> rule7))] @3: Dave is rough.[(((((triple5) -> rule6) ((((triple5) -> rule6) triple4) -> rule7)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
((triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple5) -> (rule6 % int2)) triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple5) -> (rule6 % int3)) ((((triple5) -> (rule6 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob is kind and round; Being round makes him a bit blue.
Even though he's a big dude, Dave is cold.
When you talk about Harry, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Anyone who manages to be round, blue, and green must be pretty big.
People that tend to be big and green also tend to be cold.
Someone who has a a young round face is often rough around the edges.
Young and nice people have great big smiles.
Red, young people are for the most part round too.
Big people are also round people.
Someone who is round like a dumpling and cold like an icicle are very young in age.