Bob is quiet. Fiona is quiet. Harry is green. Cold things are red. If Fiona is young then Fiona is kind. Quiet things are red.
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is green.
("Harry" "is" "green" "+")
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If Fiona is young then Fiona is kind.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "kind" "+"))
Quiet things are red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Harry is not green.
False
1
inv-proof
[(triple3)]
("Harry" "is" "green" "-")
triple3
Fiona is red.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "red" "+")
((triple2) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "red" "-")
((triple1) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Bob is quiet.[(triple1)] Fiona is quiet.[(triple2)] Harry is green.[(triple3)] @1: Bob is red.[(((triple1) -> rule3))] Fiona is red.[(((triple2) -> rule3))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple2) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1