Anne is green. Anne is kind. Anne is not nice. Anne is quiet. Anne is smart. Anne is white. Bob is green. Bob is not kind. Erin is green. Erin is not nice. Erin is quiet. Erin is white. Erin is young. Harry is green. Harry is kind. Harry is white. Quiet, white people are kind. If Anne is quiet then Anne is kind. All kind people are green. If Harry is white then Harry is not nice. Smart people are young. If someone is nice then they are not young. If someone is white and not nice then they are smart. All green, young people are smart.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Quiet, white people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If Anne is quiet then Anne is kind.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "kind" "+"))
All kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Harry is white then Harry is not nice.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "nice" "-"))
Smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are not young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
If someone is white and not nice then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "+"))
All green, young people are smart.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Anne is kind.
True
1
proof
[(triple2 OR ((triple4) -> rule2) OR ((triple4 triple6) -> rule1))]
("Anne" "is" "kind" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not white.
False
1
inv-proof
[(triple6)]
("Anne" "is" "white" "-")
triple6
Erin is kind.
True
3
proof
[(((triple11 triple12) -> rule1))]
("Erin" "is" "kind" "+")
((triple11 triple12) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Harry is nice.
False
2
inv-proof
[(((triple16) -> rule4))]
("Harry" "is" "nice" "+")
((triple16) -> (rule4 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is smart.
True
4
proof
[(((triple16 ((triple16) -> rule4)) -> rule7))]
("Harry" "is" "smart" "+")
((triple16 ((triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
int2
Harry is not smart.
False
4
inv-proof
[(((triple16 ((triple16) -> rule4)) -> rule7))]
("Harry" "is" "smart" "-")
((triple16 ((triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
int2
Harry is young.
True
5
proof
[(((((triple16 ((triple16) -> rule4)) -> rule7)) -> rule5))]
("Harry" "is" "young" "+")
((((triple16 ((triple16) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is not nice.
("Harry" "is" "nice" "-")
int3
Harry is not young.
False
5
inv-proof
[(((((triple16 ((triple16) -> rule4)) -> rule7)) -> rule5))]
("Harry" "is" "young" "-")
((((triple16 ((triple16) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is not nice.
("Harry" "is" "nice" "-")
int3
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is smart.
Unknown
rconc
[@3: Bob is smart.[CWA. Example of deepest failure = (rule8 <- rule5 <- rule7 <- FAIL)]]
("Bob" "is" "smart" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is green.[(triple1 OR ((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((triple4 triple6) -> rule1)) -> rule3))] Anne is kind.[(triple2 OR ((triple4) -> rule2) OR ((triple4 triple6) -> rule1))] Anne is not nice.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5 OR ((triple6 triple3) -> rule7))] Anne is white.[(triple6)] Bob is green.[(triple7)] Bob is not kind.[(triple8)] Erin is green.[(triple9 OR ((((triple11 triple12) -> rule1)) -> rule3))] Erin is not nice.[(triple10)] Erin is quiet.[(triple11)] Erin is white.[(triple12)] Erin is young.[(triple13 OR ((((triple12 triple10) -> rule7)) -> rule5))] Harry is green.[(triple14 OR ((triple15) -> rule3))] Harry is kind.[(triple15)] Harry is white.[(triple16)] @1: Anne is young.[(((triple5) -> rule5) OR ((((triple6 triple3) -> rule7)) -> rule5))] Erin is kind.[(((triple11 triple12) -> rule1))] Erin is smart.[(((triple12 triple10) -> rule7) OR ((triple9 triple13) -> rule8) OR ((((((triple11 triple12) -> rule1)) -> rule3) triple13) -> rule8))] Harry is not nice.[(((triple16) -> rule4))] @2: Harry is smart.[(((triple16 ((triple16) -> rule4)) -> rule7))] @3: Harry is young.[(((((triple16 ((triple16) -> rule4)) -> rule7)) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple2) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple4 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple6 triple3) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is not kind.
("Bob" "is" "kind" "-")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
((((triple11 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not nice.
("Erin" "is" "nice" "-")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
triple13
((((triple12 triple10) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple14
((triple15) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Anne is young.
("Anne" "is" "young" "+")
((triple5) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple6 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple11 triple12) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple12 triple10) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple9 triple13) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((((triple11 triple12) -> (rule1 % int3))) -> (rule3 % int2)) triple13) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Harry is not nice.
("Harry" "is" "nice" "-")
((triple16) -> (rule4 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple16 ((triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple16 ((triple16) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is not nice.
("Harry" "is" "nice" "-")
int3