From a certain angle Bob is blue but he is young so maybe that will go away. Dave is a kind and red colored guy. Nice, but round, Fred has been said to be cold. Harry is big and dresses in blue. If people are nice and round, they look red. A red colored person will be rough textured and will be blue. If someone is blue, young, and rough, they qualify as being round. People,though rough and red,tend to be cold too. Someone who is round like a dumpling and cold like an icicle are very young in age. A nice young person will be rough in texture. Nice young people who are always cold end up also being big.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Fred is nice.
True
1
proof
[(triple6)]
("Fred" "is" "nice" "+")
triple6
Fred is not cold.
False
1
inv-proof
[(triple7)]
("Fred" "is" "cold" "-")
triple7
Fred is young.
True
3
proof
[(((triple5 triple7) -> rule5))]
("Fred" "is" "young" "+")
((triple5 triple7) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not red.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Fred" "is" "red" "-")
((triple6 triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is big.
True
6
proof
[(((triple7 triple6 ((triple5 triple7) -> rule5)) -> rule7))]
("Fred" "is" "big" "+")
((triple7 triple6 ((triple5 triple7) -> (rule5 % int2))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not big.
False
6
inv-proof
[(((triple7 triple6 ((triple5 triple7) -> rule5)) -> rule7))]
("Fred" "is" "big" "-")
((triple7 triple6 ((triple5 triple7) -> (rule5 % int2))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
True
9
proof
[(((((triple6 triple5) -> rule1) ((((triple5 triple7) -> rule5) triple6) -> rule6)) -> rule2))]
("Fred" "is" "blue" "+")
((((triple6 triple5) -> (rule1 % int4)) ((((triple5 triple7) -> (rule5 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is not blue.
False
9
inv-proof
[(((((triple6 triple5) -> rule1) ((((triple5 triple7) -> rule5) triple6) -> rule6)) -> rule2))]
("Fred" "is" "blue" "-")
((((triple6 triple5) -> (rule1 % int4)) ((((triple5 triple7) -> (rule5 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "big" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "big" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Dave" "is" "round" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Fred is cold.[(triple7)] Fred is nice.[(triple6)] Fred is round.[(triple5)] Harry is big.[(triple9)] Harry is blue.[(triple8)] @1: Fred is red.[(((triple6 triple5) -> rule1))] Fred is young.[(((triple5 triple7) -> rule5))] @2: Fred is big.[(((triple7 triple6 ((triple5 triple7) -> rule5)) -> rule7))] Fred is rough.[(((((triple5 triple7) -> rule5) triple6) -> rule6))] @3: Fred is blue.[(((((triple6 triple5) -> rule1) ((((triple5 triple7) -> rule5) triple6) -> rule6)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
((triple6 triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple5 triple7) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple7 triple6 ((triple5 triple7) -> (rule5 % int2))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((triple5 triple7) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple6 triple5) -> (rule1 % int4)) ((((triple5 triple7) -> (rule5 % int3)) triple6) -> (rule6 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
From a certain angle Bob is blue but he is young so maybe that will go away.
Dave is a kind and red colored guy.
Nice, but round, Fred has been said to be cold.
Harry is big and dresses in blue.
If people are nice and round, they look red.
A red colored person will be rough textured and will be blue.
If someone is blue, young, and rough, they qualify as being round.
People,though rough and red,tend to be cold too.
Someone who is round like a dumpling and cold like an icicle are very young in age.
A nice young person will be rough in texture.
Nice young people who are always cold end up also being big.