Fiona is blue. Gary is green. Harry is green. All smart people are blue. All nice, blue people are rough. All green, blue people are cold. Green, quiet people are nice. If someone is quiet then they are cold. If Fiona is blue then Fiona is quiet.
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is green.
("Harry" "is" "green" "+")
All smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
All nice, blue people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
All green, blue people are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Green, quiet people are nice.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is blue then Fiona is quiet.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "quiet" "+"))
Harry is green.
True
1
proof
[(triple3)]
("Harry" "is" "green" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple3)]
("Harry" "is" "green" "-")
triple3
Fiona is quiet.
True
2
proof
[(((triple1) -> rule6))]
("Fiona" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Fiona is rough.
Unknown
rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is blue.[(triple1)] Gary is green.[(triple2)] Harry is green.[(triple3)] @1: Fiona is quiet.[(((triple1) -> rule6))] @2: Fiona is cold.[(((((triple1) -> rule6)) -> rule5))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2