Charlie is rough. Dave is green. Fiona is quiet. Harry is rough. If someone is green then they are rough. All rough people are quiet. If someone is round then they are quiet. If Fiona is green and Fiona is nice then Fiona is quiet. Green, red people are kind. Round, green people are red.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is green and Fiona is nice then Fiona is quiet.
((("Fiona" "is" "green" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "quiet" "+"))
Green, red people are kind.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Round, green people are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Harry is rough.
True
1
proof
[(triple4)]
("Harry" "is" "rough" "+")
triple4
Dave is not green.
False
1
inv-proof
[(triple2)]
("Dave" "is" "green" "-")
triple2
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is rough.[(triple1)] Dave is green.[(triple2)] Fiona is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is quiet.[(((triple1) -> rule2))] Dave is rough.[(((triple2) -> rule1))] Harry is quiet.[(((triple4) -> rule2))] @2: Dave is quiet.[(((((triple2) -> rule1)) -> rule2))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple4) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2