Big Alan is nice but also rough. Bob is so big and round, it's hard to tell he is red, green and blue all at once. Fred, like all young people, is nice. Harry was born only a few years ago so he is young. A big person who is red and nice to others is also young. Someone who is both red and blue will also be a nice person. Young people who are big, downhearted, and blue are kind. A person being big and rough makes them cold towards others but that also means that they are kind. A young, green person who is cold is rough around the edges.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple5)]
("Bob" "is" "red" "+")
triple5
Bob is not green.
False
1
inv-proof
[(triple6)]
("Bob" "is" "green" "-")
triple6
Bob is nice.
True
3
proof
[(((triple5 triple7) -> rule2))]
("Bob" "is" "nice" "+")
((triple5 triple7) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("Bob" "is" "nice" "-")
((triple5 triple7) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
True
6
proof
[(((triple5 ((triple5 triple7) -> rule2) triple8) -> rule1))]
("Bob" "is" "young" "+")
((triple5 ((triple5 triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple5 ((triple5 triple7) -> rule2) triple8) -> rule1))]
("Bob" "is" "young" "-")
((triple5 ((triple5 triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
True
9
proof
[(((triple8 triple7 ((triple5 ((triple5 triple7) -> rule2) triple8) -> rule1)) -> rule3))]
("Bob" "is" "kind" "+")
((triple8 triple7 ((triple5 ((triple5 triple7) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not kind.
False
9
inv-proof
[(((triple8 triple7 ((triple5 ((triple5 triple7) -> rule2) triple8) -> rule1)) -> rule3))]
("Bob" "is" "kind" "-")
((triple8 triple7 ((triple5 ((triple5 triple7) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is big.[(triple8)] Bob is blue.[(triple7)] Bob is green.[(triple6)] Bob is red.[(triple5)] Bob is round.[(triple4)] Fred is nice.[(triple10)] Fred is young.[(triple9)] Harry is young.[(triple11)] @1: Bob is nice.[(((triple5 triple7) -> rule2))] @2: Bob is young.[(((triple5 ((triple5 triple7) -> rule2) triple8) -> rule1))] @3: Bob is kind.[(((triple8 triple7 ((triple5 ((triple5 triple7) -> rule2) triple8) -> rule1)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple7) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple5 ((triple5 triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple8 triple7 ((triple5 ((triple5 triple7) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Big Alan is nice but also rough.
Bob is so big and round, it's hard to tell he is red, green and blue all at once.
Fred, like all young people, is nice.
Harry was born only a few years ago so he is young.
A big person who is red and nice to others is also young.
Someone who is both red and blue will also be a nice person.
Young people who are big, downhearted, and blue are kind.
A person being big and rough makes them cold towards others but that also means that they are kind.
A young, green person who is cold is rough around the edges.