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