Although Bob is young and nice, he is as cold as ice. The cold, nice, kind man with a round body is known as Charlie. Even though he's a big dude, Dave is cold. Even though Fred is big and round, he is cold much of the time. People with red hair, rough skin and big teeth manage to be nice to people. Young and nice people have great big smiles. Big people who are round in stature and also feel rough are often cold to other people. Nice young people who are round are also blue. Big and cold people are likely to be round, too. Cold and kind people tend to be blue. If you run into a cold and kind person, they are always big.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is big and red and rough then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Fred is round.
True
1
proof
[(triple10 OR ((triple12 triple11) -> rule5))]
("Fred" "is" "round" "+")
triple10
((triple12 triple11) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Dave is round.
True
3
proof
[(((triple9 triple8) -> rule5))]
("Dave" "is" "round" "+")
((triple9 triple8) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple7 triple6) -> rule6))]
("Charlie" "is" "blue" "-")
((triple7 triple6) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Bob is round.
True
5
proof
[(((((triple1 triple2) -> rule2) triple3) -> rule5))]
("Bob" "is" "round" "+")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not round.
False
5
inv-proof
[(((((triple1 triple2) -> rule2) triple3) -> rule5))]
("Bob" "is" "round" "-")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
True
8
proof
[(((triple2 triple1 ((((triple1 triple2) -> rule2) triple3) -> rule5)) -> rule4))]
("Bob" "is" "blue" "+")
((triple2 triple1 ((((triple1 triple2) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not blue.
False
8
inv-proof
[(((triple2 triple1 ((((triple1 triple2) -> rule2) triple3) -> rule5)) -> rule4))]
("Bob" "is" "blue" "-")
((triple2 triple1 ((((triple1 triple2) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4 OR ((((triple7 triple6) -> rule7) triple7) -> rule5))] Dave is big.[(triple9)] Dave is cold.[(triple8)] Fred is big.[(triple12)] Fred is cold.[(triple11)] Fred is round.[(triple10 OR ((triple12 triple11) -> rule5))] @1: Bob is big.[(((triple1 triple2) -> rule2))] Charlie is big.[(((triple7 triple6) -> rule7))] Charlie is blue.[(((triple7 triple6) -> rule6))] Dave is round.[(((triple9 triple8) -> rule5))] @2: Bob is round.[(((((triple1 triple2) -> rule2) triple3) -> rule5))] @3: Bob is blue.[(((triple2 triple1 ((((triple1 triple2) -> rule2) triple3) -> rule5)) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
((((triple7 triple6) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
((triple12 triple11) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple7 triple6) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple6) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple9 triple8) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 triple1 ((((triple1 triple2) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Although Bob is young and nice, he is as cold as ice.
The cold, nice, kind man with a round body is known as Charlie.
Even though he's a big dude, Dave is cold.
Even though Fred is big and round, he is cold much of the time.
People with red hair, rough skin and big teeth manage to be nice to people.
Young and nice people have great big smiles.
Big people who are round in stature and also feel rough are often cold to other people.
Nice young people who are round are also blue.
Big and cold people are likely to be round, too.
Cold and kind people tend to be blue.
If you run into a cold and kind person, they are always big.