Bob is green. Bob is kind. Bob is nice. Fiona is red. Fiona is smart. Harry is kind. Harry is red. All kind things are blue. All nice, blue things are quiet.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All nice, blue things are quiet.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Fiona is smart.
True
1
proof
[(triple5)]
("Fiona" "is" "smart" "+")
triple5
Bob is not nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Fiona is red.[(triple4)] Fiona is smart.[(triple5)] Harry is kind.[(triple6)] Harry is red.[(triple7)] @1: Bob is blue.[(((triple2) -> rule1))] Harry is blue.[(((triple6) -> rule1))] @2: Bob is quiet.[(((triple3 ((triple2) -> rule1)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2