Fiona is rough. Gary is blue. Gary is cold. Gary is round. Harry is cold. Harry is round. Harry is white. Cold, round things are white. Smart things are round. If something is round and smart then it is big. If something is blue and rough then it is white. Rough, blue things are smart. If Harry is round and Harry is rough then Harry is big.
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Cold, round things are white.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If something is round and smart then it is big.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
If something is blue and rough then it is white.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Rough, blue things are smart.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If Harry is round and Harry is rough then Harry is big.
((("Harry" "is" "round" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "big" "+"))
Gary is blue.
True
1
proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "rough" "-")
triple1
Gary is white.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Gary" "is" "white" "+")
((triple3 triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Gary" "is" "white" "-")
((triple3 triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "smart" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Fiona is rough.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is round.[(triple4)] Harry is cold.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple5 triple6) -> rule1))] @1: Gary is white.[(((triple3 triple4) -> rule1))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
((triple5 triple6) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple3 triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1