Alan is known to be rough and green. Bob became more and more round and nice and kind, but he couldn't stop being cold and big. Fred wears all blue. Big Harry is nice but also rough. A big person who is kind but blue is cold. Those who are nice but a bit rough around the edges are known for being blue. When someone is young and round, dressing in blue they can be nice. If a person that is kind is big and blue they have to be young. When someone feels blue and rough, they might be described as green. You will discover that green rough people are always red. A blue colored person who is very nice and kind will be round shaped.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and young and blue then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and nice and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Bob is kind.
True
1
proof
[(triple5)]
("Bob" "is" "kind" "+")
triple5
Harry is not rough.
False
1
inv-proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Harry is blue.
True
3
proof
[(((triple10 triple9) -> rule2))]
("Harry" "is" "blue" "+")
((triple10 triple9) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple10 triple9) -> rule2))]
("Harry" "is" "blue" "-")
((triple10 triple9) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
True
5
proof
[(((((triple10 triple9) -> rule2) triple9) -> rule5))]
("Harry" "is" "green" "+")
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not green.
False
5
inv-proof
[(((((triple10 triple9) -> rule2) triple9) -> rule5))]
("Harry" "is" "green" "-")
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
True
7
proof
[(((((((triple10 triple9) -> rule2) triple9) -> rule5) triple9) -> rule6))]
("Harry" "is" "red" "+")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not red.
False
7
inv-proof
[(((((((triple10 triple9) -> rule2) triple9) -> rule5) triple9) -> rule6))]
("Harry" "is" "red" "-")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Fred" "is" "nice" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Bob is big.[(triple7)] Bob is cold.[(triple6)] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is round.[(triple3)] Fred is blue.[(triple8)] Harry is big.[(triple11)] Harry is nice.[(triple10)] Harry is rough.[(triple9)] @1: Alan is red.[(((triple2 triple1) -> rule6))] Harry is blue.[(((triple10 triple9) -> rule2))] @2: Harry is green.[(((((triple10 triple9) -> rule2) triple9) -> rule5))] @3: Harry is red.[(((((((triple10 triple9) -> rule2) triple9) -> rule5) triple9) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Alan is red.
("Alan" "is" "red" "+")
((triple2 triple1) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 triple9) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Alan is known to be rough and green.
Bob became more and more round and nice and kind, but he couldn't stop being cold and big.
Fred wears all blue.
Big Harry is nice but also rough.
A big person who is kind but blue is cold.
Those who are nice but a bit rough around the edges are known for being blue.
When someone is young and round, dressing in blue they can be nice.
If a person that is kind is big and blue they have to be young.
When someone feels blue and rough, they might be described as green.
You will discover that green rough people are always red.
A blue colored person who is very nice and kind will be round shaped.