Alan is interestingly colored red and blue, and is also very kind. Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Dave is a man who is both round and rough. Red, kind, young people will be rough people, too. I've noticed that kind people are also big. Green people with red round cheeks are young. Big people are also round people. Big, blue people are red. Someone that is red and blue because they are cold are also round.
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Dave is rough.
True
1
proof
[(triple8)]
("Dave" "is" "rough" "+")
triple8
Bob is not green.
False
1
inv-proof
[(triple5)]
("Bob" "is" "green" "-")
triple5
Alan is big.
True
2
proof
[(((triple2) -> rule2))]
("Alan" "is" "big" "+")
((triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
2
inv-proof
[(((triple2) -> rule2))]
("Alan" "is" "big" "-")
((triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Bob is red.
True
4
proof
[(((triple6 ((triple4) -> rule2)) -> rule5))]
("Bob" "is" "red" "+")
((triple6 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Alan is not round.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule4))]
("Alan" "is" "round" "-")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Bob is young.
True
9
proof
[(((((triple6 ((triple4) -> rule2)) -> rule5) triple5 ((((triple4) -> rule2)) -> rule4)) -> rule3))]
("Bob" "is" "young" "+")
((((triple6 ((triple4) -> (rule2 % int4))) -> (rule5 % int3)) triple5 ((((triple4) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not young.
False
9
inv-proof
[(((((triple6 ((triple4) -> rule2)) -> rule5) triple5 ((((triple4) -> rule2)) -> rule4)) -> rule3))]
("Bob" "is" "young" "-")
((((triple6 ((triple4) -> (rule2 % int4))) -> (rule5 % int3)) triple5 ((((triple4) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is rough.
True
15
proof
[(((((((triple6 ((triple4) -> rule2)) -> rule5) triple5 ((((triple4) -> rule2)) -> rule4)) -> rule3) triple4 ((triple6 ((triple4) -> rule2)) -> rule5)) -> rule1))]
("Bob" "is" "rough" "+")
((((((triple6 ((triple4) -> (rule2 % int5))) -> (rule5 % int4)) triple5 ((((triple4) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule3 % int2)) triple4 ((triple6 ((triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not rough.
False
15
inv-proof
[(((((((triple6 ((triple4) -> rule2)) -> rule5) triple5 ((((triple4) -> rule2)) -> rule4)) -> rule3) triple4 ((triple6 ((triple4) -> rule2)) -> rule5)) -> rule1))]
("Bob" "is" "rough" "-")
((((((triple6 ((triple4) -> (rule2 % int5))) -> (rule5 % int4)) triple5 ((((triple4) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule3 % int2)) triple4 ((triple6 ((triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "red" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1 OR ((triple3 ((triple2) -> rule2)) -> rule5))] Bob is blue.[(triple6)] Bob is green.[(triple5)] Bob is kind.[(triple4)] Dave is rough.[(triple8)] Dave is round.[(triple7)] @1: Alan is big.[(((triple2) -> rule2))] Bob is big.[(((triple4) -> rule2))] @2: Alan is round.[(((((triple2) -> rule2)) -> rule4))] Bob is red.[(((triple6 ((triple4) -> rule2)) -> rule5))] Bob is round.[(((((triple4) -> rule2)) -> rule4))] @3: Bob is young.[(((((triple6 ((triple4) -> rule2)) -> rule5) triple5 ((((triple4) -> rule2)) -> rule4)) -> rule3))] @4: Bob is rough.[(((((((triple6 ((triple4) -> rule2)) -> rule5) triple5 ((((triple4) -> rule2)) -> rule4)) -> rule3) triple4 ((triple6 ((triple4) -> rule2)) -> rule5)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
((triple3 ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Alan is big.
("Alan" "is" "big" "+")
((triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple4) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple6 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple6 ((triple4) -> (rule2 % int4))) -> (rule5 % int3)) triple5 ((((triple4) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple6 ((triple4) -> (rule2 % int5))) -> (rule5 % int4)) triple5 ((((triple4) -> (rule2 % int5))) -> (rule4 % int3))) -> (rule3 % int2)) triple4 ((triple6 ((triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Alan is interestingly colored red and blue, and is also very kind.
Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Dave is a man who is both round and rough.
Red, kind, young people will be rough people, too.
I've noticed that kind people are also big.
Green people with red round cheeks are young.
Big people are also round people.
Big, blue people are red.
Someone that is red and blue because they are cold are also round.