Bob is not green. Fiona is furry. Fiona is kind. Fiona is white. Gary is kind. Harry is furry. Harry is green. Harry is not nice. Harry is smart. Harry is white. Furry things are not nice. All white things are kind. If something is white then it is kind. If Bob is smart and Bob is kind then Bob is quiet. If something is nice and not kind then it is quiet. Quiet, kind things are smart. If something is green then it is smart. If something is quiet and not white then it is smart.
Bob is not green.
("Bob" "is" "green" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Furry things are not nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "-"))
All white things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If Bob is smart and Bob is kind then Bob is quiet.
((("Bob" "is" "smart" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "quiet" "+"))
If something is nice and not kind then it is quiet.
((("something" "is" "nice" "+") ("something" "is" "kind" "~")) -> ("something" "is" "quiet" "+"))
Quiet, kind things are smart.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If something is green then it is smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is quiet and not white then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "white" "~")) -> ("something" "is" "smart" "+"))
Harry is green.
True
1
proof
[(triple7)]
("Harry" "is" "green" "+")
triple7
Harry is nice.
False
1
inv-proof
[(triple8 OR ((triple6) -> rule1))]
("Harry" "is" "nice" "+")
triple8
((triple6) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Fiona is not nice.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Harry is not kind.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple10) -> rule3))]
("Harry" "is" "kind" "-")
((triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Gary is not smart.
Unknown
inv-rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Gary" "is" "smart" "-")
Bob is quiet.
Unknown
rconc
[@2: Bob is quiet.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Bob" "is" "quiet" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Bob is not green.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] Fiona is white.[(triple4)] Gary is kind.[(triple5)] Harry is furry.[(triple6)] Harry is green.[(triple7)] Harry is not nice.[(triple8 OR ((triple6) -> rule1))] Harry is smart.[(triple9 OR ((triple7) -> rule7))] Harry is white.[(triple10)] @1: Fiona is not nice.[(((triple2) -> rule1))] Harry is kind.[(((triple10) -> rule2) OR ((triple10) -> rule3))]
Bob is not green.
("Bob" "is" "green" "-")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple4) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is not nice.
("Harry" "is" "nice" "-")
triple8
((triple6) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple9
((triple7) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple10
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1