Erin is green. Fiona is quiet. Gary is green. Gary is nice. Gary is quiet. Harry is big. Harry is cold. Harry is green. Harry is nice. Harry is smart. Cold, big people are quiet. If someone is big and green then they are smart.
Erin is green.
("Erin" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Cold, big people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is big and green then they are smart.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple1)]
("Erin" "is" "green" "-")
triple1
Harry is quiet.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Harry" "is" "quiet" "+")
((triple7 triple6) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not quiet.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Harry" "is" "quiet" "-")
((triple7 triple6) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "smart" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Erin is green.[(triple1)] Fiona is quiet.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is smart.[(triple10 OR ((triple6 triple8) -> rule2))] @1: Harry is quiet.[(((triple7 triple6) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
((triple6 triple8) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple7 triple6) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1