Alan is so young and darling he is kind to all the old people on the block. Bob is big and rough. Eric is a kind and red colored guy. Fred is a young guy who is also round, red, kind, cold and blue. Young, green round people are big. Red and round people are nice to others even though they are big. Red, young people are for the most part round too. Someone who's young and frosty cold are actually very nice. An individual who is big and nice is also green. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Fred is young.
True
1
proof
[(triple7)]
("Fred" "is" "young" "+")
triple7
Eric is not red.
False
1
inv-proof
[(triple5)]
("Eric" "is" "red" "-")
triple5
Fred is nice.
True
3
proof
[(((triple7 triple11) -> rule4))]
("Fred" "is" "nice" "+")
((triple7 triple11) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple7 triple11) -> rule4))]
("Fred" "is" "nice" "-")
((triple7 triple11) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
True
6
proof
[(((((triple7 triple11) -> rule4) triple8 triple9) -> rule2) OR ((((triple7 triple11) -> rule4) ((triple9 triple7) -> rule3) triple9) -> rule2))]
("Fred" "is" "big" "+")
((((triple7 triple11) -> (rule4 % int2)) triple8 triple9) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple7 triple11) -> (rule4 % int3)) ((triple9 triple7) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not big.
False
6
inv-proof
[(((((triple7 triple11) -> rule4) triple8 triple9) -> rule2) OR ((((triple7 triple11) -> rule4) ((triple9 triple7) -> rule3) triple9) -> rule2))]
("Fred" "is" "big" "-")
((((triple7 triple11) -> (rule4 % int2)) triple8 triple9) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple7 triple11) -> (rule4 % int3)) ((triple9 triple7) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is green.
True
10
proof
[(((((((triple7 triple11) -> rule4) triple8 triple9) -> rule2) ((triple7 triple11) -> rule4)) -> rule5) OR ((((((triple7 triple11) -> rule4) ((triple9 triple7) -> rule3) triple9) -> rule2) ((triple7 triple11) -> rule4)) -> rule5))]
("Fred" "is" "green" "+")
((((((triple7 triple11) -> (rule4 % int3)) triple8 triple9) -> (rule2 % int2)) ((triple7 triple11) -> (rule4 % int3))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple7 triple11) -> (rule4 % int4)) ((triple9 triple7) -> (rule3 % int3)) triple9) -> (rule2 % int2)) ((triple7 triple11) -> (rule4 % int4))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is not green.
False
10
inv-proof
[(((((((triple7 triple11) -> rule4) triple8 triple9) -> rule2) ((triple7 triple11) -> rule4)) -> rule5) OR ((((((triple7 triple11) -> rule4) ((triple9 triple7) -> rule3) triple9) -> rule2) ((triple7 triple11) -> rule4)) -> rule5))]
("Fred" "is" "green" "-")
((((((triple7 triple11) -> (rule4 % int3)) triple8 triple9) -> (rule2 % int2)) ((triple7 triple11) -> (rule4 % int3))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple7 triple11) -> (rule4 % int4)) ((triple9 triple7) -> (rule3 % int3)) triple9) -> (rule2 % int2)) ((triple7 triple11) -> (rule4 % int4))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Eric" "is" "green" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple4)] Bob is rough.[(triple3)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] Fred is kind.[(triple10)] Fred is red.[(triple9)] Fred is round.[(triple8 OR ((triple9 triple7) -> rule3))] Fred is young.[(triple7)] @1: Fred is nice.[(((triple7 triple11) -> rule4))] @2: Fred is big.[(((((triple7 triple11) -> rule4) triple8 triple9) -> rule2) OR ((((triple7 triple11) -> rule4) ((triple9 triple7) -> rule3) triple9) -> rule2))] @3: Fred is green.[(((((((triple7 triple11) -> rule4) triple8 triple9) -> rule2) ((triple7 triple11) -> rule4)) -> rule5) OR ((((((triple7 triple11) -> rule4) ((triple9 triple7) -> rule3) triple9) -> rule2) ((triple7 triple11) -> rule4)) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
((triple9 triple7) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 triple11) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple7 triple11) -> (rule4 % int2)) triple8 triple9) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple7 triple11) -> (rule4 % int3)) ((triple9 triple7) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((((((triple7 triple11) -> (rule4 % int3)) triple8 triple9) -> (rule2 % int2)) ((triple7 triple11) -> (rule4 % int3))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple7 triple11) -> (rule4 % int4)) ((triple9 triple7) -> (rule3 % int3)) triple9) -> (rule2 % int2)) ((triple7 triple11) -> (rule4 % int4))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Alan is so young and darling he is kind to all the old people on the block.
Bob is big and rough.
Eric is a kind and red colored guy.
Fred is a young guy who is also round, red, kind, cold and blue.
Young, green round people are big.
Red and round people are nice to others even though they are big.
Red, young people are for the most part round too.
Someone who's young and frosty cold are actually very nice.
An individual who is big and nice is also green.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.