Bob is big and rough. People who know Fred know he's red, kind, young, cold, blue and big. Gary ate some rotten meat and now feels green. Young Harry got into a fight that left him with red sores on his face. People who are rough and green with envy are young. I've noticed that someone with a round shape is also green. Big people are also round people. A nice red person that is cold is always big, I have found. Julie is really nice to gardeners since she has a green thumb. If you meet somebody who is young, rough and round, you can be sure they are nice as well. It's true that green and blue people are also red people.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Fred is round.
True
2
proof
[(((triple8) -> rule3))]
("Fred" "is" "round" "+")
((triple8) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("Bob" "is" "round" "-")
((triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is green.
True
3
proof
[(((((triple8) -> rule3)) -> rule2))]
("Fred" "is" "green" "+")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Bob is not green.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("Bob" "is" "green" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
True
5
proof
[(((triple1 ((((triple2) -> rule3)) -> rule2)) -> rule1))]
("Bob" "is" "young" "+")
((triple1 ((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not young.
False
5
inv-proof
[(((triple1 ((((triple2) -> rule3)) -> rule2)) -> rule1))]
("Bob" "is" "young" "-")
((triple1 ((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
True
9
proof
[(((((triple1 ((((triple2) -> rule3)) -> rule2)) -> rule1) ((triple2) -> rule3) triple1) -> rule6))]
("Bob" "is" "nice" "+")
((((triple1 ((((triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int4)) triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is not nice.
False
9
inv-proof
[(((((triple1 ((((triple2) -> rule3)) -> rule2)) -> rule1) ((triple2) -> rule3) triple1) -> rule6))]
("Bob" "is" "nice" "-")
((((triple1 ((((triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int4)) triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is big.[(triple2)] Bob is rough.[(triple1)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Fred is red.[(triple4 OR ((((((triple8) -> rule3)) -> rule2) triple7) -> rule7))] Fred is young.[(triple3)] Gary is green.[(triple9)] Harry is red.[(triple11)] Harry is young.[(triple10)] @1: Bob is round.[(((triple2) -> rule3))] Fred is round.[(((triple8) -> rule3))] @2: Bob is green.[(((((triple2) -> rule3)) -> rule2))] Fred is green.[(((((triple8) -> rule3)) -> rule2))] @3: Bob is young.[(((triple1 ((((triple2) -> rule3)) -> rule2)) -> rule1))] @4: Bob is nice.[(((((triple1 ((((triple2) -> rule3)) -> rule2)) -> rule1) ((triple2) -> rule3) triple1) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
((((((triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple8) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple1 ((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1 ((((triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int4)) triple1) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is big and rough.
People who know Fred know he's red, kind, young, cold, blue and big.
Gary ate some rotten meat and now feels green.
Young Harry got into a fight that left him with red sores on his face.
People who are rough and green with envy are young.
I've noticed that someone with a round shape is also green.
Big people are also round people.
A nice red person that is cold is always big, I have found.
Julie is really nice to gardeners since she has a green thumb.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.
It's true that green and blue people are also red people.