Bob is blue just like his dog. Bob is rough and round enough for the dog to use him as an exercise wheel. Charlie is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Nice green people and often blue with sadness. Round, nice and young folks around here are always green. It's easy to be round and blue when you are young. Show me someone who is cold and kind, and I'll show you how green they are. A blue and green colored person will be round in shape.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and nice and young then they are green.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Charlie is nice.
True
1
proof
[(triple5)]
("Charlie" "is" "nice" "+")
triple5
Bob is not blue.
False
1
inv-proof
[(triple3)]
("Bob" "is" "blue" "-")
triple3
Charlie is blue.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Charlie" "is" "blue" "+")
((triple6 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple1 triple3) -> rule3))]
("Bob" "is" "young" "-")
((triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is round.
True
5
proof
[(((((triple6 triple5) -> rule1) triple6) -> rule5))]
("Charlie" "is" "round" "+")
((((triple6 triple5) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not round.
False
5
inv-proof
[(((((triple6 triple5) -> rule1) triple6) -> rule5))]
("Charlie" "is" "round" "-")
((((triple6 triple5) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
True
9
proof
[(((((((triple6 triple5) -> rule1) triple6) -> rule5) ((triple6 triple5) -> rule1)) -> rule3))]
("Charlie" "is" "young" "+")
((((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule5 % int2)) ((triple6 triple5) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not young.
False
9
inv-proof
[(((((((triple6 triple5) -> rule1) triple6) -> rule5) ((triple6 triple5) -> rule1)) -> rule3))]
("Charlie" "is" "young" "-")
((((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule5 % int2)) ((triple6 triple5) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "blue" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is round.
Unknown
rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] @1: Bob is young.[(((triple1 triple3) -> rule3))] Charlie is blue.[(((triple6 triple5) -> rule1))] @2: Charlie is round.[(((((triple6 triple5) -> rule1) triple6) -> rule5))] @3: Charlie is young.[(((((((triple6 triple5) -> rule1) triple6) -> rule5) ((triple6 triple5) -> rule1)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
((triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple6 triple5) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple6 triple5) -> (rule1 % int3)) triple6) -> (rule5 % int2)) ((triple6 triple5) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Bob is blue just like his dog; Bob is rough and round enough for the dog to use him as an exercise wheel.
Charlie is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments.
Nice green people and often blue with sadness.
Round, nice and young folks around here are always green.
It's easy to be round and blue when you are young.
Show me someone who is cold and kind, and I'll show you how green they are.
A blue and green colored person will be round in shape.