Dave is not quiet. Dave is round. Fiona is green. Fiona is round. Fiona is white. Gary is white. Gary is young. Harry is green. Harry is red. Harry is round. Harry is white. Harry is young. If something is white then it is cold. All cold things are young.
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is round.
("Dave" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is white then it is cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Gary is white.
True
1
proof
[(triple6)]
("Gary" "is" "white" "+")
triple6
Dave is quiet.
False
1
inv-proof
[(triple1)]
("Dave" "is" "quiet" "+")
triple1
Gary is cold.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "cold" "+")
((triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple11) -> rule1))]
("Harry" "is" "cold" "-")
((triple11) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is young.
True
3
proof
[(((((triple5) -> rule1)) -> rule2))]
("Fiona" "is" "young" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule2))]
("Fiona" "is" "young" "-")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is not quiet.[(triple1)] Dave is round.[(triple2)] Fiona is green.[(triple3)] Fiona is round.[(triple4)] Fiona is white.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((((triple6) -> rule1)) -> rule2))] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12 OR ((((triple11) -> rule1)) -> rule2))] @1: Fiona is cold.[(((triple5) -> rule1))] Gary is cold.[(((triple6) -> rule1))] Harry is cold.[(((triple11) -> rule1))] @2: Fiona is young.[(((((triple5) -> rule1)) -> rule2))]
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple11) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2