Fiona is not blue. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is young. Gary is green. Gary is not kind. Gary is quiet. Gary is not smart. Gary is young. If something is kind and green then it is smart. Green things are young. Young things are quiet. Blue, green things are nice. If something is blue and kind then it is nice. Green things are not blue. Kind, green things are blue. If Fiona is kind and Fiona is not nice then Fiona is smart.
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is young.
("Gary" "is" "young" "+")
If something is kind and green then it is smart.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Blue, green things are nice.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is blue and kind then it is nice.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Green things are not blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "-"))
Kind, green things are blue.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If Fiona is kind and Fiona is not nice then Fiona is smart.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "smart" "+"))
Fiona is smart.
True
1
proof
[(triple4)]
("Fiona" "is" "smart" "+")
triple4
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Gary is not blue.
True
2
proof
[(((triple6) -> rule6))]
("Gary" "is" "blue" "-")
((triple6) -> (rule6 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is blue.
False
2
inv-proof
[(((triple6) -> rule6))]
("Gary" "is" "blue" "+")
((triple6) -> (rule6 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is kind.[(triple2)] Fiona is not blue.[(triple1)] Fiona is quiet.[(triple3 OR ((triple5) -> rule3))] Fiona is smart.[(triple4)] Fiona is young.[(triple5)] Gary is green.[(triple6)] Gary is not kind.[(triple7)] Gary is not smart.[(triple9)] Gary is quiet.[(triple8 OR ((triple10) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Gary is young.[(triple10 OR ((triple6) -> rule2))] @1: Gary is not blue.[(((triple6) -> rule6))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
((triple5) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is not kind.
("Gary" "is" "kind" "-")
triple7
Gary is not smart.
("Gary" "is" "smart" "-")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple10) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not blue.
("Gary" "is" "blue" "-")
((triple6) -> (rule6 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1