Bob is round. Fiona is blue. Smart things are kind. Blue things are rough. All rough things are blue. If something is quiet and blue then it is smart. If something is blue then it is kind. All rough things are green. Blue, smart things are kind. All round things are smart.
Bob is round.
("Bob" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Smart things are kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and blue then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is blue then it is kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Blue, smart things are kind.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
All round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "blue" "-")
triple2
Bob is smart.
True
2
proof
[(((triple1) -> rule8))]
("Bob" "is" "smart" "+")
((triple1) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
2
inv-proof
[(((triple1) -> rule8))]
("Bob" "is" "smart" "-")
((triple1) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
True
3
proof
[(((((triple1) -> rule8)) -> rule1))]
("Bob" "is" "kind" "+")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is not kind.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule1))]
("Bob" "is" "kind" "-")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is not green.
Unknown
inv-rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is round.[(triple1)] Fiona is blue.[(triple2)] @1: Bob is smart.[(((triple1) -> rule8))] Fiona is kind.[(((triple2) -> rule5))] Fiona is rough.[(((triple2) -> rule2))] @2: Bob is kind.[(((((triple1) -> rule8)) -> rule1))] Fiona is green.[(((((triple2) -> rule2)) -> rule6))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2