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