Fiona is green. Gary is cold. Gary is green. Gary is round. Gary is smart. Gary is white. Harry is cold. Harry is kind. Harry is quiet. Harry is round. If someone is quiet then they are smart. All white, kind people are green. If Harry is green and Harry is smart then Harry is white.
Fiona is green.
("Fiona" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is quiet then they are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
All white, kind people are green.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Harry is green and Harry is smart then Harry is white.
((("Harry" "is" "green" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "white" "+"))
Gary is cold.
True
1
proof
[(triple2)]
("Gary" "is" "cold" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple10)]
("Harry" "is" "round" "-")
triple10
Harry is smart.
True
2
proof
[(((triple9) -> rule1))]
("Harry" "is" "smart" "+")
((triple9) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "smart" "-")
((triple9) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not white.
Unknown
inv-rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is green.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Harry is cold.[(triple7)] Harry is kind.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Harry is smart.[(((triple9) -> rule1))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
((triple9) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1