Dave is blue. Dave is kind. Dave is quiet. Dave is round. Dave is white. Dave is young. Fiona is blue. Fiona is kind. Fiona is round. Fiona is smart. Fiona is white. Harry is kind. If Harry is kind and Harry is young then Harry is blue. All smart things are quiet.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If Harry is kind and Harry is young then Harry is blue.
((("Harry" "is" "kind" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "blue" "+"))
All smart things are quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Dave is white.
True
1
proof
[(triple5)]
("Dave" "is" "white" "+")
triple5
Dave is not round.
False
1
inv-proof
[(triple4)]
("Dave" "is" "round" "-")
triple4
Fiona is quiet.
True
2
proof
[(((triple10) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Harry is kind.[(triple12)] @1: Fiona is quiet.[(((triple10) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1