Fiona is red. Fiona is young. Gary is cold. Gary is rough. Gary is round. Gary is white. Gary is young. Harry is red. Harry is rough. Harry is white. Cold, nice people are rough. If Fiona is round then Fiona is white. Red people are white.
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Cold, nice people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is round then Fiona is white.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "white" "+"))
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Harry is white.
True
1
proof
[(triple10 OR ((triple8) -> rule3))]
("Harry" "is" "white" "+")
triple10
((triple8) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Gary is not rough.
False
1
inv-proof
[(triple4)]
("Gary" "is" "rough" "-")
triple4
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Fiona is red.[(triple1)] Fiona is young.[(triple2)] Gary is cold.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10 OR ((triple8) -> rule3))] @1: Fiona is white.[(((triple1) -> rule3))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple8) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple1) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1