Charlie is quiet. Dave is green. Dave is not nice. Dave is smart. Fiona is red. Fiona is rough. Harry is green. If Harry is green then Harry is red. If someone is nice then they are white.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If Harry is green then Harry is red.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "red" "+"))
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Dave is smart.
True
1
proof
[(triple4)]
("Dave" "is" "smart" "+")
triple4
Harry is not green.
False
1
inv-proof
[(triple7)]
("Harry" "is" "green" "-")
triple7
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "white" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is quiet.[(triple1)] Dave is green.[(triple2)] Dave is not nice.[(triple3)] Dave is smart.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Harry is green.[(triple7)] @1: Harry is red.[(((triple7) -> rule1))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is not nice.
("Dave" "is" "nice" "-")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
((triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1