Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is young. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is young. If Fiona is young and Fiona is nice then Fiona is kind. All green, nice people are rough. All quiet, nice people are green.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is young and Fiona is nice then Fiona is kind.
((("Fiona" "is" "young" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "kind" "+"))
All green, nice people are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All quiet, nice people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Gary is rough.
True
3
proof
[(((triple6 triple8) -> rule2) OR ((((triple9 triple8) -> rule3) triple8) -> rule2))]
("Gary" "is" "rough" "+")
((triple6 triple8) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple9 triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not rough.
False
3
inv-proof
[(((triple6 triple8) -> rule2) OR ((((triple9 triple8) -> rule3) triple8) -> rule2))]
("Gary" "is" "rough" "-")
((triple6 triple8) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple9 triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is rough.[(triple4)] Fiona is young.[(triple5)] Gary is green.[(triple6 OR ((triple9 triple8) -> rule3))] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] @1: Gary is rough.[(((triple6 triple8) -> rule2) OR ((((triple9 triple8) -> rule3) triple8) -> rule2))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple9 triple8) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 triple8) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple9 triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2