Even though he's a big dude, Alan is cold. Most everyone considers Bob a rough fellow, but very kind. He's often categorized as blue, and he's big. Fred is a nice and red, but very kind person as soon as you meet him. Gary was born only a few years ago so he is young. We called someone with green, round eyes, blue for some reason. Rough people are often always nice. People who are rough and green with envy are young. Big people that are cold will show you how rough they actually are. Someone with round, red, and kind traits also will be green. Someone being both nice and kind means that they are a big person. People who are nice and rough are looked at as kind.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Bob is kind.
True
1
proof
[(triple4 OR ((((triple3) -> rule2) triple3) -> rule7))]
("Bob" "is" "kind" "+")
triple4
((((triple3) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is nice.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple8 triple9) -> rule6))]
("Fred" "is" "big" "-")
((triple8 triple9) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Alan is nice.
True
4
proof
[(((((triple1 triple2) -> rule4)) -> rule2))]
("Alan" "is" "nice" "+")
((((triple1 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not nice.
False
4
inv-proof
[(((((triple1 triple2) -> rule4)) -> rule2))]
("Alan" "is" "nice" "-")
((((triple1 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is kind.
True
8
proof
[(((((((triple1 triple2) -> rule4)) -> rule2) ((triple1 triple2) -> rule4)) -> rule7))]
("Alan" "is" "kind" "+")
((((((triple1 triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((triple1 triple2) -> (rule4 % int3))) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not kind.
False
8
inv-proof
[(((((((triple1 triple2) -> rule4)) -> rule2) ((triple1 triple2) -> rule4)) -> rule7))]
("Alan" "is" "kind" "-")
((((((triple1 triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((triple1 triple2) -> (rule4 % int3))) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Fred" "is" "young" "+")
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "young" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is big.[(triple6 OR ((((triple3) -> rule2) triple4) -> rule6) OR ((((triple3) -> rule2) ((((triple3) -> rule2) triple3) -> rule7)) -> rule6))] Bob is blue.[(triple5)] Bob is kind.[(triple4 OR ((((triple3) -> rule2) triple3) -> rule7))] Bob is rough.[(triple3)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Gary is young.[(triple10)] @1: Alan is rough.[(((triple1 triple2) -> rule4))] Bob is nice.[(((triple3) -> rule2))] Fred is big.[(((triple8 triple9) -> rule6))] @2: Alan is nice.[(((((triple1 triple2) -> rule4)) -> rule2))] @3: Alan is kind.[(((((((triple1 triple2) -> rule4)) -> rule2) ((triple1 triple2) -> rule4)) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
((((triple3) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3) -> (rule2 % int3)) ((((triple3) -> (rule2 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((((triple3) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple10
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple2) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple8 triple9) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((((triple1 triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((triple1 triple2) -> (rule4 % int3))) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Even though he's a big dude, Alan is cold.
Most everyone considers Bob a rough fellow, but very kind; He's often categorized as blue, and he's big.
Fred is a nice and red, but very kind person as soon as you meet him.
Gary was born only a few years ago so he is young.
We called someone with green, round eyes, blue for some reason.
Rough people are often always nice.
People who are rough and green with envy are young.
Big people that are cold will show you how rough they actually are.
Someone with round, red, and kind traits also will be green.
Someone being both nice and kind means that they are a big person.
People who are nice and rough are looked at as kind.