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