Charlie is kind. Charlie is round. Erin is blue. Erin is not kind. Erin is not smart. Fiona is not blue. Fiona is furry. Fiona is kind. Fiona is red. Fiona is round. All furry things are not smart. If something is round then it is green.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All furry things are not smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "-"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Fiona is not smart.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Charlie is not green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "green" "-")
((triple2) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Charlie is kind.[(triple1)] Charlie is round.[(triple2)] Erin is blue.[(triple3)] Erin is not kind.[(triple4)] Erin is not smart.[(triple5)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is not blue.[(triple6)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] @1: Charlie is green.[(((triple2) -> rule2))] Fiona is green.[(((triple10) -> rule2))] Fiona is not smart.[(((triple7) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is not kind.
("Erin" "is" "kind" "-")
triple4
Erin is not smart.
("Erin" "is" "smart" "-")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1