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