Alan is a big gentleman who is very nice. He is secretly green with envy. Fred, the round one, is cold in Alaska because he's green and rough around the edges. Harry is nice and kind, but a little rough. A rough and kind person is big. A person who is cold but red, and big in size is young for sure. A big, blue person who is kind is also round. Every time I see a young blue nice person I know they are also red. Anybody that is big is also someone who is going to be blue. If red and slightly green people are asked, they will tell you they feel blue. People who are kind and green are very often rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Fred is cold.
True
1
proof
[(triple7)]
("Fred" "is" "cold" "+")
triple7
Alan is not nice.
False
1
inv-proof
[(triple1)]
("Alan" "is" "nice" "-")
triple1
Harry is big.
True
3
proof
[(((triple10 triple8) -> rule1))]
("Harry" "is" "big" "+")
((triple10 triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple10 triple8) -> rule1))]
("Harry" "is" "big" "-")
((triple10 triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
True
4
proof
[(((((triple10 triple8) -> rule1)) -> rule5))]
("Harry" "is" "blue" "+")
((((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not blue.
False
4
inv-proof
[(((((triple10 triple8) -> rule1)) -> rule5))]
("Harry" "is" "blue" "-")
((((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
True
9
proof
[(((((((triple10 triple8) -> rule1)) -> rule5) triple10 ((triple10 triple8) -> rule1)) -> rule3))]
("Harry" "is" "round" "+")
((((((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not round.
False
9
inv-proof
[(((((((triple10 triple8) -> rule1)) -> rule5) triple10 ((triple10 triple8) -> rule1)) -> rule3))]
("Harry" "is" "round" "-")
((((((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "blue" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Alan is big.[(triple3)] Alan is green.[(triple2)] Alan is nice.[(triple1)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] @1: Alan is blue.[(((triple3) -> rule5))] Harry is big.[(((triple10 triple8) -> rule1))] @2: Harry is blue.[(((((triple10 triple8) -> rule1)) -> rule5))] @3: Harry is round.[(((((((triple10 triple8) -> rule1)) -> rule5) triple10 ((triple10 triple8) -> rule1)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple3) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple10 triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple10 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((((triple10 triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple10 ((triple10 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Alan is a big gentleman who is very nice; He is secretly green with envy.
Fred, the round one, is cold in Alaska because he's green and rough around the edges.
Harry is nice and kind, but a little rough.
A rough and kind person is big.
A person who is cold but red, and big in size is young for sure.
A big, blue person who is kind is also round.
Every time I see a young blue nice person I know they are also red.
Anybody that is big is also someone who is going to be blue.
If red and slightly green people are asked, they will tell you they feel blue.
People who are kind and green are very often rough.