Alan is someone you could describe as young, round, cold, and blue. Bob who is considered nice was feeling rather rough today. Most people see Gary as round, albeit nice and big at the same time. Harry is both big and round, with blue features. Round, nice and young folks around here are always green. It's just a fact that a blue person is a kind person. It's always true that round, kind people are rough as well. When a round individual is nice to others, they are also feeling blue.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and nice and young then they are green.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Alan is blue.
True
1
proof
[(triple4)]
("Alan" "is" "blue" "+")
triple4
Gary is not nice.
False
1
inv-proof
[(triple8)]
("Gary" "is" "nice" "-")
triple8
Harry is kind.
True
2
proof
[(((triple11) -> rule2))]
("Harry" "is" "kind" "+")
((triple11) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple7 triple8) -> rule4))]
("Gary" "is" "blue" "-")
((triple7 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is rough.
True
4
proof
[(((triple10 ((triple11) -> rule2)) -> rule3))]
("Harry" "is" "rough" "+")
((triple10 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Gary is not kind.
False
4
inv-proof
[(((((triple7 triple8) -> rule4)) -> rule2))]
("Gary" "is" "kind" "-")
((((triple7 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
True
6
proof
[(((triple7 ((((triple7 triple8) -> rule4)) -> rule2)) -> rule3))]
("Gary" "is" "rough" "+")
((triple7 ((((triple7 triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not rough.
False
6
inv-proof
[(((triple7 ((((triple7 triple8) -> rule4)) -> rule2)) -> rule3))]
("Gary" "is" "rough" "-")
((triple7 ((((triple7 triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Bob" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is nice.[(triple6)] Bob is rough.[(triple5)] Gary is big.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is round.[(triple10)] @1: Alan is kind.[(((triple4) -> rule2))] Gary is blue.[(((triple7 triple8) -> rule4))] Harry is kind.[(((triple11) -> rule2))] @2: Alan is rough.[(((triple2 ((triple4) -> rule2)) -> rule3))] Gary is kind.[(((((triple7 triple8) -> rule4)) -> rule2))] Harry is rough.[(((triple10 ((triple11) -> rule2)) -> rule3))] @3: Gary is rough.[(((triple7 ((((triple7 triple8) -> rule4)) -> rule2)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Alan is kind.
("Alan" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple11) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple7 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 ((((triple7 triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Alan is someone you could describe as young, round, cold, and blue.
Bob who is considered nice was feeling rather rough today.
Most people see Gary as round, albeit nice and big at the same time.
Harry is both big and round, with blue features.
Round, nice and young folks around here are always green.
It's just a fact that a blue person is a kind person.
It's always true that round, kind people are rough as well.
When a round individual is nice to others, they are also feeling blue.