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