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