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