Fiona is cold. Fiona is not young. Harry is rough. Cold things are green. If something is rough then it is cold. If Fiona is cold and Fiona is round then Fiona is rough. If Fiona is rough and Fiona is not young then Fiona is blue. If something is young and not blue then it is not white. If something is cold and green then it is white.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is rough then it is cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If Fiona is cold and Fiona is round then Fiona is rough.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "rough" "+"))
If Fiona is rough and Fiona is not young then Fiona is blue.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "blue" "+"))
If something is young and not blue then it is not white.
((("something" "is" "young" "+") ("something" "is" "blue" "~")) -> ("something" "is" "white" "-"))
If something is cold and green then it is white.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Harry is rough.
True
1
proof
[(triple3)]
("Harry" "is" "rough" "+")
triple3
Harry is not rough.
False
1
inv-proof
[(triple3)]
("Harry" "is" "rough" "-")
triple3
Harry is cold.
True
2
proof
[(((triple3) -> rule2))]
("Harry" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Harry" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "blue" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Fiona is cold.[(triple1)] Fiona is not young.[(triple2)] Harry is rough.[(triple3)] @1: Fiona is green.[(((triple1) -> rule1))] Harry is cold.[(((triple3) -> rule2))] @2: Fiona is white.[(((triple1 ((triple1) -> rule1)) -> rule6))] Harry is green.[(((((triple3) -> rule2)) -> rule1))] @3: Harry is white.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule1)) -> rule6))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is not young.
("Fiona" "is" "young" "-")
triple2
Harry is rough.
("Harry" "is" "rough" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((((triple3) -> (rule2 % int3)) ((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3