Charlie is cold. Charlie is white. Dave is kind. Fiona is cold. Fiona is kind. Fiona is smart. Gary is kind. Gary is quiet. Gary is rough. Gary is white. Furry things are quiet. If something is white then it is kind. Rough things are kind. All cold things are furry. If something is quiet and furry then it is cold. Quiet things are furry.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is quiet and furry then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Gary is white.
True
1
proof
[(triple10)]
("Gary" "is" "white" "+")
triple10
Gary is not white.
False
1
inv-proof
[(triple10)]
("Gary" "is" "white" "-")
triple10
Charlie is kind.
True
2
proof
[(((triple2) -> rule2))]
("Charlie" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple4) -> rule4))]
("Fiona" "is" "furry" "-")
((triple4) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is quiet.
True
3
proof
[(((((triple1) -> rule4)) -> rule1))]
("Charlie" "is" "quiet" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Gary is not cold.
False
4
inv-proof
[(((triple8 ((triple8) -> rule6)) -> rule5))]
("Gary" "is" "cold" "-")
((triple8 ((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Dave is not quiet.
Unknown
inv-rconc
[@3: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule5 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is cold.
Unknown
rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule4 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not furry.
Unknown
inv-rconc
[@4: Dave is furry.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- rule6 <- FAIL)]]
("Dave" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is cold.[(triple1)] Charlie is white.[(triple2)] Dave is kind.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is smart.[(triple6)] Gary is kind.[(triple7 OR ((triple10) -> rule2) OR ((triple9) -> rule3))] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Charlie is furry.[(((triple1) -> rule4))] Charlie is kind.[(((triple2) -> rule2))] Fiona is furry.[(((triple4) -> rule4))] Gary is furry.[(((triple8) -> rule6))] @2: Charlie is quiet.[(((((triple1) -> rule4)) -> rule1))] Fiona is quiet.[(((((triple4) -> rule4)) -> rule1))] Gary is cold.[(((triple8 ((triple8) -> rule6)) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
((triple10) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple9) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple4) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple8) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 ((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2