Bob is not furry. Bob is kind. Bob is quiet. Bob is not red. Erin is nice. Erin is quiet. Erin is red. Erin is white. Harry is not kind. Harry is white. If someone is white and not kind then they are nice. All furry, white people are quiet. If someone is nice and white then they are furry. Red, cold people are furry. If Erin is kind then Erin is cold. If Harry is red then Harry is not furry.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not red.
("Bob" "is" "red" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is white and not kind then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "nice" "+"))
All furry, white people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is nice and white then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Red, cold people are furry.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If Erin is kind then Erin is cold.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "cold" "+"))
If Harry is red then Harry is not furry.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "furry" "-"))
Erin is white.
True
1
proof
[(triple8)]
("Erin" "is" "white" "+")
triple8
Erin is not white.
False
1
inv-proof
[(triple8)]
("Erin" "is" "white" "-")
triple8
Harry is nice.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "nice" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Erin is not furry.
False
3
inv-proof
[(((triple5 triple8) -> rule3))]
("Erin" "is" "furry" "-")
((triple5 triple8) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Harry is furry.
True
5
proof
[(((((triple10 triple9) -> rule1) triple10) -> rule3))]
("Harry" "is" "furry" "+")
((((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not furry.
False
5
inv-proof
[(((((triple10 triple9) -> rule1) triple10) -> rule3))]
("Harry" "is" "furry" "-")
((((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is quiet.
True
7
proof
[(((((((triple10 triple9) -> rule1) triple10) -> rule3) triple10) -> rule2))]
("Harry" "is" "quiet" "+")
((((((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not quiet.
False
7
inv-proof
[(((((((triple10 triple9) -> rule1) triple10) -> rule3) triple10) -> rule2))]
("Harry" "is" "quiet" "-")
((((((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "cold" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Bob is not red.[(triple4)] Bob is quiet.[(triple3)] Erin is nice.[(triple5)] Erin is quiet.[(triple6 OR ((((triple5 triple8) -> rule3) triple8) -> rule2))] Erin is red.[(triple7)] Erin is white.[(triple8)] Harry is not kind.[(triple9)] Harry is white.[(triple10)] @1: Erin is furry.[(((triple5 triple8) -> rule3))] Harry is nice.[(((triple10 triple9) -> rule1))] @2: Harry is furry.[(((((triple10 triple9) -> rule1) triple10) -> rule3))] @3: Harry is quiet.[(((((((triple10 triple9) -> rule1) triple10) -> rule3) triple10) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
((((triple5 triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Harry is not kind.
("Harry" "is" "kind" "-")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
((triple5 triple8) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((((triple10 triple9) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((triple10 triple9) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3