Anne is quiet. Anne is rough. Fiona is blue. Fiona is not cold. Fiona is quiet. Harry is blue. Harry is rough. If someone is quiet then they are white. If someone is white and cold then they are kind. All quiet people are kind. If Harry is quiet and Harry is white then Harry is not kind. Smart, cold people are not quiet. All smart people are quiet. All white people are smart. If someone is cold and not smart then they are not rough.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is white and cold then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Harry is quiet and Harry is white then Harry is not kind.
((("Harry" "is" "quiet" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "kind" "-"))
Smart, cold people are not quiet.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "-"))
All smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold and not smart then they are not rough.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "-"))
Fiona is not cold.
True
1
proof
[(triple4)]
("Fiona" "is" "cold" "-")
triple4
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Anne is white.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple5) -> rule1))]
("Fiona" "is" "white" "-")
((triple5) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is smart.
True
3
proof
[(((((triple1) -> rule1)) -> rule7))]
("Anne" "is" "smart" "+")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not smart.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule7))]
("Anne" "is" "smart" "-")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Harry is not kind.
Unknown
inv-rconc
[@4: Harry is kind.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule7 <- rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is quiet.
Unknown
rconc
[@3: Harry is quiet.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule1 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not smart.
Unknown
inv-rconc
[@3: Harry is smart.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule6 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Fiona is blue.[(triple3)] Fiona is not cold.[(triple4)] Fiona is quiet.[(triple5)] Harry is blue.[(triple6)] Harry is rough.[(triple7)] @1: Anne is kind.[(((triple1) -> rule3))] Anne is white.[(((triple1) -> rule1))] Fiona is kind.[(((triple5) -> rule3))] Fiona is white.[(((triple5) -> rule1))] @2: Anne is smart.[(((((triple1) -> rule1)) -> rule7))] Fiona is smart.[(((((triple5) -> rule1)) -> rule7))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple5) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2