Bob is kind. Bob is quiet. Erin is green. Erin is nice. Erin is quiet. Erin is red. Harry is quiet. Green, nice things are furry. If something is kind and nice then it is rough. All furry, green things are kind.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Green, nice things are furry.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is kind and nice then it is rough.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
All furry, green things are kind.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Harry is quiet.
True
1
proof
[(triple7)]
("Harry" "is" "quiet" "+")
triple7
Erin is not nice.
False
1
inv-proof
[(triple4)]
("Erin" "is" "nice" "-")
triple4
Erin is furry.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Erin" "is" "furry" "+")
((triple3 triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Erin" "is" "furry" "-")
((triple3 triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
True
5
proof
[(((((triple3 triple4) -> rule1) triple3) -> rule3))]
("Erin" "is" "kind" "+")
((((triple3 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not kind.
False
5
inv-proof
[(((((triple3 triple4) -> rule1) triple3) -> rule3))]
("Erin" "is" "kind" "-")
((((triple3 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
True
7
proof
[(((((((triple3 triple4) -> rule1) triple3) -> rule3) triple4) -> rule2))]
("Erin" "is" "rough" "+")
((((((triple3 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is not rough.
False
7
inv-proof
[(((((((triple3 triple4) -> rule1) triple3) -> rule3) triple4) -> rule2))]
("Erin" "is" "rough" "-")
((((((triple3 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "+")
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is furry.[(((triple3 triple4) -> rule1))] @2: Erin is kind.[(((((triple3 triple4) -> rule1) triple3) -> rule3))] @3: Erin is rough.[(((((((triple3 triple4) -> rule1) triple3) -> rule3) triple4) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
((triple3 triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple3 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple3 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3