When you first meet Bob you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. That guy Dave is big, but he's always kind to little ones. Harry, like all young people, is nice. I have found that if someone is kind and red, that they are quite often nice. People who are round, blue and cold are usually nice. A person with rough skin who has been standing in the cold will turn red. Anyone that is a red, nice soul will be big, too. A person that is blue green and nice are that way because they are still young. People who are round and young are also quite nice. If someone happens to be cold and rough, they wont be nice and live green lifestyle.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and nice and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Dave is kind.
True
1
proof
[(triple6)]
("Dave" "is" "kind" "+")
triple6
Harry is not young.
False
1
inv-proof
[(triple8)]
("Harry" "is" "young" "-")
triple8
Bob is red.
True
3
proof
[(((triple4 triple2) -> rule3))]
("Bob" "is" "red" "+")
((triple4 triple2) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple4 triple2) -> rule3))]
("Bob" "is" "red" "-")
((triple4 triple2) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
True
5
proof
[(((triple3 ((triple4 triple2) -> rule3)) -> rule1))]
("Bob" "is" "nice" "+")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((triple3 ((triple4 triple2) -> rule3)) -> rule1))]
("Bob" "is" "nice" "-")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
True
8
proof
[(((triple4 ((triple3 ((triple4 triple2) -> rule3)) -> rule1) triple2) -> rule7))]
("Bob" "is" "green" "+")
((triple4 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not green.
False
8
inv-proof
[(((triple4 ((triple3 ((triple4 triple2) -> rule3)) -> rule1) triple2) -> rule7))]
("Bob" "is" "green" "-")
((triple4 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "young" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is big.[(triple5 OR ((((triple4 triple2) -> rule3) ((triple3 ((triple4 triple2) -> rule3)) -> rule1)) -> rule4))] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple7)] Dave is kind.[(triple6)] Harry is nice.[(triple9)] Harry is young.[(triple8)] @1: Bob is red.[(((triple4 triple2) -> rule3))] @2: Bob is nice.[(((triple3 ((triple4 triple2) -> rule3)) -> rule1))] @3: Bob is green.[(((triple4 ((triple3 ((triple4 triple2) -> rule3)) -> rule1) triple2) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple5
((((triple4 triple2) -> (rule3 % int3)) ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
((triple4 triple2) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple4 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
When you first meet Bob you know he is young and big, but later you find out he is also, incredibly kind, cold and rough.
That guy Dave is big, but he's always kind to little ones.
Harry, like all young people, is nice.
I have found that if someone is kind and red, that they are quite often nice.
People who are round, blue and cold are usually nice.
A person with rough skin who has been standing in the cold will turn red.
Anyone that is a red, nice soul will be big, too.
A person that is blue green and nice are that way because they are still young.
People who are round and young are also quite nice.
If someone happens to be cold and rough, they wont be nice and live green lifestyle.