Bob is round. Fiona is red. Gary is not red. Harry is round. Quiet things are big. All young, red things are not big. All furry things are not round. All quiet things are not round. If something is red then it is quiet. All big things are cold.
Bob is round.
("Bob" "is" "round" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is not red.
("Gary" "is" "red" "-")
Harry is round.
("Harry" "is" "round" "+")
Quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All young, red things are not big.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "-"))
All furry things are not round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "-"))
All quiet things are not round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "-"))
If something is red then it is quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
All big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Gary is not red.
True
1
proof
[(triple3)]
("Gary" "is" "red" "-")
triple3
Gary is red.
False
1
inv-proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Fiona is quiet.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "quiet" "+")
((triple2) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple2) -> rule5))]
("Fiona" "is" "quiet" "-")
((triple2) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
True
3
proof
[(((((triple2) -> rule5)) -> rule1))]
("Fiona" "is" "big" "+")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule4))]
("Fiona" "is" "round" "+")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is cold.
True
4
proof
[(((((((triple2) -> rule5)) -> rule1)) -> rule6))]
("Fiona" "is" "cold" "+")
((((((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not cold.
False
4
inv-proof
[(((((((triple2) -> rule5)) -> rule1)) -> rule6))]
("Fiona" "is" "cold" "-")
((((((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@3: Bob is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule5 <- FAIL)]]
("Bob" "is" "cold" "-")
Harry is cold.
Unknown
rconc
[@3: Harry is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is quiet.
Unknown
rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "quiet" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is round.[(triple1)] Fiona is red.[(triple2)] Gary is not red.[(triple3)] Harry is round.[(triple4)] @1: Fiona is quiet.[(((triple2) -> rule5))] @2: Fiona is big.[(((((triple2) -> rule5)) -> rule1))] Fiona is not round.[(((((triple2) -> rule5)) -> rule4))] @3: Fiona is cold.[(((((((triple2) -> rule5)) -> rule1)) -> rule6))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is not red.
("Gary" "is" "red" "-")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not round.
("Fiona" "is" "round" "-")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3