Alan is both young and fairly round in size. Bob figured he wasn't just young and round. He was rough and red, and he was as green as he was big. They always call him rough Fred. That guy Harry is big, but he's always kind to little ones. Nice and kind people tend to live green lifestyle and arent very rough. Rough people are often always nice. Maybe someone is rough and blue with the cold. Red haired people who are nice and kind are looked up to because they are always big. Among cold people, those who are round and kind are also rough. Folks who are nice and young with red coloration tend to feel blue.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice and red then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Bob is not big.
False
1
inv-proof
[(triple8)]
("Bob" "is" "big" "-")
triple8
Fred is nice.
True
2
proof
[(((triple9) -> rule2))]
("Fred" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple5) -> rule2))]
("Bob" "is" "nice" "-")
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
True
5
proof
[(((((triple5) -> rule2) triple3 triple6) -> rule6))]
("Bob" "is" "blue" "+")
((((triple5) -> (rule2 % int2)) triple3 triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
False
5
inv-proof
[(((((triple5) -> rule2) triple3 triple6) -> rule6))]
("Bob" "is" "blue" "-")
((((triple5) -> (rule2 % int2)) triple3 triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
True
7
proof
[(((triple5 ((((triple5) -> rule2) triple3 triple6) -> rule6)) -> rule3))]
("Bob" "is" "cold" "+")
((triple5 ((((triple5) -> (rule2 % int3)) triple3 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not cold.
False
7
inv-proof
[(((triple5 ((((triple5) -> rule2) triple3 triple6) -> rule6)) -> rule3))]
("Bob" "is" "cold" "-")
((triple5 ((((triple5) -> (rule2 % int3)) triple3 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "blue" "-")
Alan is nice.
Unknown
rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple8)] Bob is green.[(triple7)] Bob is red.[(triple6)] Bob is rough.[(triple5)] Bob is round.[(triple4)] Bob is young.[(triple3)] Fred is rough.[(triple9)] Harry is big.[(triple11)] Harry is kind.[(triple10)] @1: Bob is nice.[(((triple5) -> rule2))] Fred is nice.[(((triple9) -> rule2))] @2: Bob is blue.[(((((triple5) -> rule2) triple3 triple6) -> rule6))] @3: Bob is cold.[(((triple5 ((((triple5) -> rule2) triple3 triple6) -> rule6)) -> rule3))]
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Bob is nice.
("Bob" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple5) -> (rule2 % int2)) triple3 triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple5 ((((triple5) -> (rule2 % int3)) triple3 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Alan is both young and fairly round in size.
Bob figured he wasn't just young and round; He was rough and red, and he was as green as he was big.
They always call him rough Fred.
That guy Harry is big, but he's always kind to little ones.
Nice and kind people tend to live green lifestyle and arent very rough.
Rough people are often always nice.
Maybe someone is rough and blue with the cold.
Red haired people who are nice and kind are looked up to because they are always big.
Among cold people, those who are round and kind are also rough.
Folks who are nice and young with red coloration tend to feel blue.