People think that Bob is round. This might be because he is young and blue. Young, red Fred is nice. Gary is big and dresses in blue. Because Harry gets cold easily he tends to appear round from bundling up. A green and blue colored person who is young will certainly be big. Young and nice people have great big smiles. A person with a rough quality is also a person with a blue quality. A blue and round human being will also be a green human being. Rough, blue people tend to have a lot of green aspects. A nice young person will be rough in texture.
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fred is young.
True
1
proof
[(triple4)]
("Fred" "is" "young" "+")
triple4
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Fred is rough.
True
3
proof
[(((triple4 triple6) -> rule6))]
("Fred" "is" "rough" "+")
((triple4 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple4 triple6) -> rule6))]
("Fred" "is" "rough" "-")
((triple4 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Bob is big.
True
6
proof
[(((((triple3 triple2) -> rule4) triple1 triple3) -> rule1))]
("Bob" "is" "big" "+")
((((triple3 triple2) -> (rule4 % int2)) triple1 triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Fred is not blue.
False
4
inv-proof
[(((((triple4 triple6) -> rule6)) -> rule3))]
("Fred" "is" "blue" "-")
((((triple4 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is green.
True
8
proof
[(((((triple4 triple6) -> rule6) ((((triple4 triple6) -> rule6)) -> rule3)) -> rule5))]
("Fred" "is" "green" "+")
((((triple4 triple6) -> (rule6 % int3)) ((((triple4 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not green.
False
8
inv-proof
[(((((triple4 triple6) -> rule6) ((((triple4 triple6) -> rule6)) -> rule3)) -> rule5))]
("Fred" "is" "green" "-")
((((triple4 triple6) -> (rule6 % int3)) ((((triple4 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not green.
Unknown
inv-rconc
[@3: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule6 <- FAIL)]]
("Harry" "is" "green" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is blue.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is young.[(triple4)] Gary is big.[(triple8)] Gary is blue.[(triple7)] Harry is cold.[(triple10)] Harry is round.[(triple9)] @1: Bob is green.[(((triple3 triple2) -> rule4))] Fred is big.[(((triple4 triple6) -> rule2) OR ((((((triple4 triple6) -> rule6) ((((triple4 triple6) -> rule6)) -> rule3)) -> rule5) triple4 ((((triple4 triple6) -> rule6)) -> rule3)) -> rule1))] Fred is rough.[(((triple4 triple6) -> rule6))] @2: Bob is big.[(((((triple3 triple2) -> rule4) triple1 triple3) -> rule1))] Fred is blue.[(((((triple4 triple6) -> rule6)) -> rule3))] @3: Fred is green.[(((((triple4 triple6) -> rule6) ((((triple4 triple6) -> rule6)) -> rule3)) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple4 triple6) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
((((((triple4 triple6) -> (rule6 % int4)) ((((triple4 triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple4 ((((triple4 triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
((triple4 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple3 triple2) -> (rule4 % int2)) triple1 triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple4 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple4 triple6) -> (rule6 % int3)) ((((triple4 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
People think that Bob is round; This might be because he is young and blue.
Young, red Fred is nice.
Gary is big and dresses in blue.
Because Harry gets cold easily he tends to appear round from bundling up.
A green and blue colored person who is young will certainly be big.
Young and nice people have great big smiles.
A person with a rough quality is also a person with a blue quality.
A blue and round human being will also be a green human being.
Rough, blue people tend to have a lot of green aspects.
A nice young person will be rough in texture.