Charlie is quiet. Erin is quiet. Fiona is blue. Fiona is kind. Fiona is not nice. Fiona is not quiet. Harry is not round. If Fiona is not blue then Fiona is round. All kind things are green. All quiet things are kind.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Harry is not round.
("Harry" "is" "round" "-")
If Fiona is not blue then Fiona is round.
((("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "round" "+"))
All kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Harry is round.
False
1
inv-proof
[(triple7)]
("Harry" "is" "round" "+")
triple7
Charlie is kind.
True
2
proof
[(((triple1) -> rule3))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "green" "-")
((triple4) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Erin is green.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Erin" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Charlie is not green.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("Charlie" "is" "green" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is quiet.[(triple1)] Erin is quiet.[(triple2)] Fiona is blue.[(triple3)] Fiona is kind.[(triple4)] Fiona is not nice.[(triple5)] Fiona is not quiet.[(triple6)] Harry is not round.[(triple7)] @1: Charlie is kind.[(((triple1) -> rule3))] Erin is kind.[(((triple2) -> rule3))] Fiona is green.[(((triple4) -> rule2))] @2: Charlie is green.[(((((triple1) -> rule3)) -> rule2))] Erin is green.[(((((triple2) -> rule3)) -> rule2))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple5
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple6
Harry is not round.
("Harry" "is" "round" "-")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple4) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2