Charlie is furry. Charlie is not kind. Charlie is not nice. Charlie is smart. Charlie is white. Fiona is kind. Fiona is nice. Nice things are white. Smart things are round.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Fiona is nice.
True
1
proof
[(triple7)]
("Fiona" "is" "nice" "+")
triple7
Charlie is not white.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "white" "-")
triple5
Charlie is round.
True
2
proof
[(((triple4) -> rule2))]
("Charlie" "is" "round" "+")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple4) -> rule2))]
("Charlie" "is" "round" "-")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is furry.[(triple1)] Charlie is not kind.[(triple2)] Charlie is not nice.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] @1: Charlie is round.[(((triple4) -> rule2))] Fiona is white.[(((triple7) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1