Fiona is green. Fiona is kind. Fiona is nice. Fiona is smart. Harry is cold. Harry is green. Harry is round. If something is green and cold then it is smart. Round, kind things are cold.
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is green and cold then it is smart.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Round, kind things are cold.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Fiona is smart.
True
1
proof
[(triple4)]
("Fiona" "is" "smart" "+")
triple4
Fiona is not smart.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "smart" "-")
triple4
Harry is smart.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Harry" "is" "smart" "+")
((triple6 triple5) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Harry" "is" "smart" "-")
((triple6 triple5) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is smart.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is round.[(triple7)] @1: Harry is smart.[(((triple6 triple5) -> rule1))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is smart.
("Harry" "is" "smart" "+")
((triple6 triple5) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1