Alan was born only a few years ago so he is young. Bob is colored red and green. He is also young, rough and very cold. Red Dave is what folks call him, because he is quite red. Harry is a young man who is also kind, blue and rough. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. Look for the blue and green people, they are kind and will give you directions if you're lost. Most of the people that are big and nice with green eyes, will be round. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. Young people who are cold and painted red are usually big and part of the football team. A rough, big, and round person can't help but be kind as well. People that are big but also green, may ultimately be very nice.
Alan is young.
("Alan" "is" "young" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and red and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Harry is not kind.
False
1
inv-proof
[(triple10)]
("Harry" "is" "kind" "-")
triple10
Bob is big.
True
4
proof
[(((triple6 triple4 triple2) -> rule5))]
("Bob" "is" "big" "+")
((triple6 triple4 triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
4
inv-proof
[(((triple6 triple4 triple2) -> rule5))]
("Bob" "is" "big" "-")
((triple6 triple4 triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
True
6
proof
[(((((triple6 triple4 triple2) -> rule5) triple5) -> rule7))]
("Bob" "is" "nice" "+")
((((triple6 triple4 triple2) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((((triple6 triple4 triple2) -> rule5) triple5) -> rule7))]
("Bob" "is" "nice" "-")
((((triple6 triple4 triple2) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
True
12
proof
[(((((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) triple5) -> rule7) triple5) -> rule3))]
("Bob" "is" "round" "+")
((((triple6 triple4 triple2) -> (rule5 % int3)) ((((triple6 triple4 triple2) -> (rule5 % int3)) triple5) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not round.
False
12
inv-proof
[(((((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) triple5) -> rule7) triple5) -> rule3))]
("Bob" "is" "round" "-")
((((triple6 triple4 triple2) -> (rule5 % int3)) ((((triple6 triple4 triple2) -> (rule5 % int3)) triple5) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
True
18
proof
[(((triple3 ((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) triple5) -> rule7) triple5) -> rule3)) -> rule6))]
("Bob" "is" "kind" "+")
((triple3 ((triple6 triple4 triple2) -> (rule5 % int4)) ((((triple6 triple4 triple2) -> (rule5 % int4)) ((((triple6 triple4 triple2) -> (rule5 % int4)) triple5) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not kind.
False
18
inv-proof
[(((triple3 ((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) triple5) -> rule7) triple5) -> rule3)) -> rule6))]
("Bob" "is" "kind" "-")
((triple3 ((triple6 triple4 triple2) -> (rule5 % int4)) ((((triple6 triple4 triple2) -> (rule5 % int4)) ((((triple6 triple4 triple2) -> (rule5 % int4)) triple5) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is round.
Unknown
rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "round" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is young.[(triple1)] Bob is cold.[(triple6)] Bob is green.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is young.[(triple2)] Dave is red.[(triple7)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Bob is big.[(((triple6 triple4 triple2) -> rule5))] @2: Bob is nice.[(((((triple6 triple4 triple2) -> rule5) triple5) -> rule7))] @3: Bob is round.[(((((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) triple5) -> rule7) triple5) -> rule3))] @4: Bob is kind.[(((triple3 ((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) ((((triple6 triple4 triple2) -> rule5) triple5) -> rule7) triple5) -> rule3)) -> rule6))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Bob is big.
("Bob" "is" "big" "+")
((triple6 triple4 triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple6 triple4 triple2) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple6 triple4 triple2) -> (rule5 % int3)) ((((triple6 triple4 triple2) -> (rule5 % int3)) triple5) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((triple6 triple4 triple2) -> (rule5 % int4)) ((((triple6 triple4 triple2) -> (rule5 % int4)) ((((triple6 triple4 triple2) -> (rule5 % int4)) triple5) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Alan was born only a few years ago so he is young.
Bob is colored red and green; He is also young, rough and very cold.
Red Dave is what folks call him, because he is quite red.
Harry is a young man who is also kind, blue and rough.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Most of the people that are big and nice with green eyes, will be round.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
Young people who are cold and painted red are usually big and part of the football team.
A rough, big, and round person can't help but be kind as well.
People that are big but also green, may ultimately be very nice.