Bob is green. Erin is not furry. Fiona is red. Harry is white. All green things are blue. If Fiona is furry and Fiona is quiet then Fiona is young.
Bob is green.
("Bob" "is" "green" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If Fiona is furry and Fiona is quiet then Fiona is young.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "young" "+"))
Erin is not furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Harry is not white.
False
1
inv-proof
[(triple4)]
("Harry" "is" "white" "-")
triple4
Bob is blue.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Bob is green.[(triple1)] Erin is not furry.[(triple2)] Fiona is red.[(triple3)] Harry is white.[(triple4)] @1: Bob is blue.[(((triple1) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Erin is not furry.
("Erin" "is" "furry" "-")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1