Alan is a man who is both round and rough. Bob is sometimes cold and blue, but he can also be kind and big. Charlie was born only a few years ago so he is young. Dave is big and rough looking but is very nice and kind. People who are nice, round and wearing blue will have red cheeks. People who are round, blue and cold are usually nice. Whenever you are around kind and green people, you will notice they are very red. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. Kind and blue people,though young,tend to be big. Rough people who are nice and have green thumbs are almost always young. Anyone who is big and cold and also kind is definitely red on top if it.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
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 nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and cold and kind then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Alan is rough.
True
1
proof
[(triple2)]
("Alan" "is" "rough" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is red.
True
4
proof
[(((triple6 triple4 triple3) -> rule7))]
("Bob" "is" "red" "+")
((triple6 triple4 triple3) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
4
inv-proof
[(((triple6 triple4 triple3) -> rule7))]
("Bob" "is" "red" "-")
((triple6 triple4 triple3) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
True
7
proof
[(((triple3 triple4 ((triple6 triple4 triple3) -> rule7)) -> rule4))]
("Bob" "is" "round" "+")
((triple3 triple4 ((triple6 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not round.
False
7
inv-proof
[(((triple3 triple4 ((triple6 triple4 triple3) -> rule7)) -> rule4))]
("Bob" "is" "round" "-")
((triple3 triple4 ((triple6 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
True
10
proof
[(((((triple3 triple4 ((triple6 triple4 triple3) -> rule7)) -> rule4) triple5 triple4) -> rule2))]
("Bob" "is" "nice" "+")
((((triple3 triple4 ((triple6 triple4 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple5 triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not nice.
False
10
inv-proof
[(((((triple3 triple4 ((triple6 triple4 triple3) -> rule7)) -> rule4) triple5 triple4) -> rule2))]
("Bob" "is" "nice" "-")
((((triple3 triple4 ((triple6 triple4 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple5 triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Charlie is young.[(triple7)] Dave is big.[(triple11)] Dave is kind.[(triple10)] Dave is nice.[(triple9)] Dave is rough.[(triple8)] @1: Bob is red.[(((triple6 triple4 triple3) -> rule7))] @2: Bob is round.[(((triple3 triple4 ((triple6 triple4 triple3) -> rule7)) -> rule4))] @3: Bob is nice.[(((((triple3 triple4 ((triple6 triple4 triple3) -> rule7)) -> rule4) triple5 triple4) -> rule2))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple11
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
((triple6 triple4 triple3) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple4 ((triple6 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple3 triple4 ((triple6 triple4 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple5 triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Alan is a man who is both round and rough.
Bob is sometimes cold and blue, but he can also be kind and big.
Charlie was born only a few years ago so he is young.
Dave is big and rough looking but is very nice and kind.
People who are nice, round and wearing blue will have red cheeks.
People who are round, blue and cold are usually nice.
Whenever you are around kind and green people, you will notice they are very red.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
Kind and blue people,though young,tend to be big.
Rough people who are nice and have green thumbs are almost always young.
Anyone who is big and cold and also kind is definitely red on top if it.